cat

jeapostrophe · Dec 19, 2015 · 43f7f21 · 43f7f21
1 parent bb59f00
commit 43f7f21
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/temp-c-doc/info.rkt b/temp-c-doc/info.rkt
@@ -9,4 +9,4 @@
                      "racket-doc"))
 (define pkg-authors '(jay))
 
-(define scribblings '(("scribblings/temp-c.scrbl" () (library))))
+(define scribblings '(("scribblings/temp-c.scrbl" () ("Verification"))))