make site: fix PDF doc link

This commit is contained in:
Matthew Flatt 2013-08-16 15:07:54 -06:00
parent 6fc868d5b9
commit 2b1b41cd50

View File

@ -116,7 +116,7 @@
#:installers-url "installers/" #:installers-url "installers/"
#:docs-url (and (directory-exists? doc-path) #:docs-url (and (directory-exists? doc-path)
"doc/index.html") "doc/index.html")
#:pdf-docs-url (and (directory-exists? doc-path) #:pdf-docs-url (and (directory-exists? pdf-doc-path)
"pdf-doc/") "pdf-doc/")
#:dest (build-path dest-dir #:dest (build-path dest-dir
"index.html") "index.html")