From 34fe3cea9150d17a36c682d59ce53bad6abfb1c8 Mon Sep 17 00:00:00 2001
From: Matthew Flatt <mflatt@racket-lang.org>
Date: Sun, 2 Sep 2007 17:39:32 +0000
Subject: [PATCH] 371.2

svn: r7263

original commit: e4cbc4e6a938fd5bd90aab305ca39d61e7eae151
---
 collects/setup/option-sig.ss | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/collects/setup/option-sig.ss b/collects/setup/option-sig.ss
index 517d218662..cd577e538e 100644
--- a/collects/setup/option-sig.ss
+++ b/collects/setup/option-sig.ss
@@ -14,9 +14,12 @@
      make-so
      make-info-domain
      make-launchers
+     make-docs
      call-install
+     call-post-install
      pause-on-errors
      force-unpacks
+     doc-pdf-dest
      specific-collections
      specific-planet-dirs
      archives