Commit 8552dd16 authored by Robert Ricci's avatar Robert Ricci

Add a single-page version of the manual

This doubles the build time, so I'm only doing it for CloudLab for now
parent 59414662
Pipeline #2512 passed with stages
in 3 minutes and 31 seconds
......@@ -34,6 +34,7 @@ cloudlab: $(SOURCES)
-rm -rf cloudlab-manual/geni-lib/
cp -r $(GENI_LIB_DIR)/docs/build/html cloudlab-manual/geni-lib
scribble --htmls ++style cloudlab-manual.css ++arg --clab ++arg --geni-lib-dir ++arg $(GENI_LIB_DIR) cloudlab-manual.scrbl
scribble --html --dest cloudlab-manual/ ++style cloudlab-manual.css ++arg --single-page ++arg --clab ++arg --geni-lib-dir ++arg $(GENI_LIB_DIR) cloudlab-manual.scrbl
cloudlab-ga: $(SOURCES)
-mkdir cloudlab-manual/
......@@ -9,6 +9,8 @@
"The CloudLab Team"
@italic[(if (not (single-page)) (list "This document is also available as a " (hyperlink "cloudlab-manual.html" "single page")) "")]
@italic[(if (equal? (doc-mode) 'pdf)
(list "The HTML version of this manual is available at " (hyperlink apt-doc-url apt-doc-url))
......@@ -19,6 +19,7 @@
(define tb-mode (make-parameter 'apt))
(define doc-mode (make-parameter 'html))
(define include-ga (make-parameter #f))
(define single-page (make-parameter #f))
(define geni-lib-dir (make-parameter null))
......@@ -31,6 +32,7 @@
["--elab" "Compile manual for Emulab" (tb-mode 'elab)]
["--pdf" "Compile PDF version of the manual" (doc-mode 'pdf)]
["--single-page" "Should be set when building the single-page version" (single-page #t)]
["--ga" "Include Google Analytics code" (include-ga #t)]
["--geni-lib-dir" gld "Give the path to geni-lib" (geni-lib-dir gld)]
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment