www

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs

commit 77984e76620355f164f4868988f378b1b108513e
parent 83b36b953a41bd8cc6e5677c36d858245ff9a3fd
Author: Matthew Flatt <mflatt@racket-lang.org>
Date:   Fri, 16 Aug 2013 15:07:54 -0600

make site: fix PDF doc link

original commit: 2b1b41cd50f1befa38480dd2725a487eb4ef6a31

Diffstat:
Mpkgs/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 @@ -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")