Skip to content

Commit

Permalink
Fix scribblings info
Browse files Browse the repository at this point in the history
  • Loading branch information
jackfirth committed Apr 1, 2015
1 parent f1c6d40 commit 50277cc
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion command-line-ext/info.rkt
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
#lang info

(define name "command-line-ext")
(define scribblings '(("scribblings/main.scrbl" () () "command-line-ext")))
(define scribblings '(("scribblings/main.scrbl" () (library) "command-line-ext")))

0 comments on commit 50277cc

Please sign in to comment.