scribblings/main: keep doc modules in binary mode

Even in binary mode, the "main" documents need to be re-rendered
when new packages are installed.
This commit is contained in:
Matthew Flatt 2014-06-04 09:03:07 +01:00
parent 25cc7c7125
commit 5058c958a6

View File

@ -10,3 +10,17 @@
(define pkg-desc "Racket Documentation driver")
(define pkg-authors '(eli jay matthias mflatt robby ryanc samth))
;; We need to be able to re-render this documentation even in
;; binary mode, since that's how we list new documentation:
(define binary-keep-files '("scribblings"
"scribblings/main/compiled/acks_scrbl.zo"
"scribblings/main/compiled/license_scrbl.zo"
"scribblings/main/compiled/local-redirect_scrbl.zo"
"scribblings/main/compiled/release_scrbl.zo"
"scribblings/main/compiled/search_scrbl.zo"
"scribblings/main/compiled/start_scrbl.zo"
"scribblings/main/user/compiled/local-redirect_scrbl.zo"
"scribblings/main/user/compiled/release_scrbl.zo"
"scribblings/main/user/compiled/search_scrbl.zo"
"scribblings/main/user/compiled/start_scrbl.zo"))