rename docs.scrbl => afl.scrbl

2014-08-22 09:59:12 -04:00 · 2014-08-22 09:59:12 -04:00 · e4cc7bf0cd
commit e4cc7bf0cd
parent 10094342d7
2 changed files with 1 additions and 1 deletions
--- a/afl/docs/docs.scrbl
+++ b/afl/docs/docs.scrbl
--- a/afl/info.rkt
+++ b/afl/info.rkt
@ -1,3 +1,3 @@
 #lang info

-(define scribblings '(["docs/docs.scrbl" ()]))
+(define scribblings '(["docs/afl.scrbl" ()]))