Commit 0ee0860f authored by Robert Ricci's avatar Robert Ricci

Include links to PDF in HTML and vice versa

parent b7fc8a90
......@@ -20,10 +20,10 @@ apt: $(SOURCES)
scribble --htmls ++style apt-manual.css $(TOPLEVEL).scrbl
pdf/apt-manual.pdf: $(SOURCES)
scribble --dest pdf/ --pdf $(TOPLEVEL).scrbl
scribble --dest pdf/ --pdf ++arg pdf $(TOPLEVEL).scrbl
pdf/cloudlab-manual.pdf: $(SOURCES)
scribble --dest pdf/ --pdf ++arg clab cloudlab-manual.scrbl
scribble --dest pdf/ --pdf ++arg clab ++arg pdf cloudlab-manual.scrbl
cloudlab: $(SOURCES)
scribble --htmls ++style cloudlab-manual.css ++arg clab cloudlab-manual.scrbl
......
......@@ -9,6 +9,9 @@
"Robert Ricci" "Leigh Stoller" "Kirk Webb" "Jon Duerig" "Gary Wong" "Keith Downie" "Mike Hibler" "Eric Eide"
]
@italic[(if (equal? doc-mode 'pdf)
(list "The HTML version of this manual is availble at " (hyperlink apt-doc-url apt-doc-url))
(list "This manual is also available as a " (hyperlink "http://docs.aptlab.net/manual.pdf" "PDF")))]
Apt is a platform for sharing research; it is open to all researchers,
......
......@@ -15,6 +15,11 @@
the @seclink["preview-notes"]{"Preview Notes"} chapter of this document
for notes regarding this preview version.}
@italic[(if (equal? doc-mode 'pdf)
(list "The HTML version of this manual is availble at " (hyperlink apt-doc-url apt-doc-url))
(list "This manual is also available as a " (hyperlink "http://docs.cloudlab.us/manual.pdf" "PDF")))]
CloudLab is a "meta-cloud"---that is, it is not a cloud itself; rather, it is a
facility for building clouds. It provides bare-metal access and control over
a substantial set of computing, storage, and networking resources; on top of
......
......@@ -50,7 +50,7 @@
(define apt-doc-url
(if (clab?)
"http://docs.cloudlab.us/"
"http://docs.aptlab.net"))
"http://docs.aptlab.net/"))
(define forum-url
(if (apt?)
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment