From 4f4c674a187c51ad071111cef88480b2e0208ddc Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Fri, 3 May 2019 12:09:45 -0700 Subject: [PATCH] removal --- brag/{ => brag}/brag.scrbl | 0 brag/brag/info.rkt | 4 ++++ brag/info.rkt | 5 +---- 3 files changed, 5 insertions(+), 4 deletions(-) rename brag/{ => brag}/brag.scrbl (100%) create mode 100755 brag/brag/info.rkt diff --git a/brag/brag.scrbl b/brag/brag/brag.scrbl similarity index 100% rename from brag/brag.scrbl rename to brag/brag/brag.scrbl diff --git a/brag/brag/info.rkt b/brag/brag/info.rkt new file mode 100755 index 0000000..343a490 --- /dev/null +++ b/brag/brag/info.rkt @@ -0,0 +1,4 @@ +#lang info + +(define scribblings '(("brag.scrbl"))) + diff --git a/brag/info.rkt b/brag/info.rkt index 93375f7..cdd6a87 100755 --- a/brag/info.rkt +++ b/brag/info.rkt @@ -9,7 +9,4 @@ "racket-doc" "scribble-lib")) -(define implies deps) - -(define scribblings '(("brag.scrbl"))) - +(define implies deps) \ No newline at end of file