diff --git a/afl/docs/docs.scrbl b/afl/docs/afl.scrbl
similarity index 100%
rename from afl/docs/docs.scrbl
rename to afl/docs/afl.scrbl
diff --git a/afl/info.rkt b/afl/info.rkt
index dc35e13..497b930 100644
--- a/afl/info.rkt
+++ b/afl/info.rkt
@@ -1,3 +1,3 @@
 #lang info
 
-(define scribblings '(["docs/docs.scrbl" ()]))
\ No newline at end of file
+(define scribblings '(["docs/afl.scrbl" ()]))
\ No newline at end of file