removal

6 years ago · 4f4c674a18
parent ab5f7b65d7
commit 4f4c674a18
3 changed files with 5 additions and 4 deletions
--- a/brag/brag/brag.scrbl
+++ b/brag/brag/brag.scrbl
--- a/brag/brag/info.rkt
+++ b/brag/brag/info.rkt
@ -0,0 +1,4 @@
+#lang info
+
+(define scribblings '(("brag.scrbl")))
+
--- a/brag/info.rkt
+++ b/brag/info.rkt
@ -10,6 +10,3 @@
                     "scribble-lib"))

 (define implies deps)
-
-(define scribblings '(("brag.scrbl")))
-