Some info.rkt cleanups.
original commit: ffbd9e16ea240b8ad49527d5e5e02b660c8435b0
This commit is contained in:
parent
9ca70a975b
commit
4a985badae
|
@ -1,3 +1,5 @@
|
|||
#lang setup/infotab
|
||||
|
||||
(define scribblings '(["scribblings/datalog.scrbl" (multi-page) (language)]))
|
||||
|
||||
(define compile-omit-paths '("tests"))
|
||||
|
|
Loading…
Reference in New Issue
Block a user