From e4cc7bf0cd2598f72fa9351c2cdf96f275a98c36 Mon Sep 17 00:00:00 2001 From: AlexKnauth Date: Fri, 22 Aug 2014 09:59:12 -0400 Subject: [PATCH] rename docs.scrbl => afl.scrbl --- afl/docs/{docs.scrbl => afl.scrbl} | 0 afl/info.rkt | 2 +- 2 files changed, 1 insertion(+), 1 deletion(-) rename afl/docs/{docs.scrbl => afl.scrbl} (100%) 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