371.2

svn: r7263 original commit: e4cbc4e6a9
2007-09-02 17:39:32 +00:00 · 2007-09-02 17:39:32 +00:00 · 34fe3cea91
commit 34fe3cea91
parent e4ad919f65
1 changed files with 3 additions and 0 deletions
--- 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