From 53e8b203477bd8b7037bb852479c4dced55e7242 Mon Sep 17 00:00:00 2001 From: Matthew Flatt Date: Thu, 11 Jul 2013 18:23:39 -0600 Subject: [PATCH] distro-build/manage-snapshots: add "documentation" link --- pkgs/distro-build/manage-snapshots.rkt | 2 ++ 1 file changed, 2 insertions(+) diff --git a/pkgs/distro-build/manage-snapshots.rkt b/pkgs/distro-build/manage-snapshots.rkt index 6b11094fb0..ddcc9375ba 100644 --- a/pkgs/distro-build/manage-snapshots.rkt +++ b/pkgs/distro-build/manage-snapshots.rkt @@ -55,6 +55,8 @@ installers-dir "table.rktd") #:installers-url "current/installers/" + #:docs-url (and (directory-exists? (build-path site-dir "doc")) + "current/doc/index.html") #:dest (build-path snapshots-dir "index.html") #:git-clone (current-directory)