From 2b1b41cd50f1befa38480dd2725a487eb4ef6a31 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Fri, 16 Aug 2013 15:07:54 -0600 Subject: [PATCH] make site: fix PDF doc link --- pkgs/distro-build/assemble-site.rkt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pkgs/distro-build/assemble-site.rkt b/pkgs/distro-build/assemble-site.rkt index 45b197e470..9547e24196 100644 --- a/pkgs/distro-build/assemble-site.rkt +++ b/pkgs/distro-build/assemble-site.rkt @@ -116,7 +116,7 @@ #:installers-url "installers/" #:docs-url (and (directory-exists? doc-path) "doc/index.html") - #:pdf-docs-url (and (directory-exists? doc-path) + #:pdf-docs-url (and (directory-exists? pdf-doc-path) "pdf-doc/") #:dest (build-path dest-dir "index.html")