Fix inclusion of "keep-dirs.rktd".

The file should be considered as source even though it's in the "doc"
directory.
This commit is contained in:
Eli Barzilay 2013-05-09 06:16:53 -04:00
parent c228b13f9f
commit 0397518539

View File

@ -169,8 +169,8 @@ gui-filter := (- (+ (collects: "**/gui/") (srcfile: "gui.rkt"))
tools-filter := (+ (collects: "**/tools/") (srcfile: "tools.rkt"))
;; these are in the doc directory, but are committed in git and should be
;; considered like sources
std-docs := (doc: "doc-license.txt" "*-std/")
;; considered as sources
std-docs := (doc: "doc-license.txt" "keep-dirs.rktd" "*-std/")
;; ============================================================================
;; Junk