From 7b9538c0547f3c5a6d453850c5a55438e7a051da Mon Sep 17 00:00:00 2001
From: Matthew Butterick <mb@mbtype.com>
Date: Fri, 18 May 2018 20:10:35 -1000
Subject: [PATCH] delete obsolete Makefile

---
 brag/brag/Makefile | 12 ------------
 1 file changed, 12 deletions(-)
 delete mode 100755 brag/brag/Makefile

diff --git a/brag/brag/Makefile b/brag/brag/Makefile
deleted file mode 100755
index 579d424..0000000
--- a/brag/brag/Makefile
+++ /dev/null
@@ -1,12 +0,0 @@
-doc:
-	scribble  ++xref-in setup/xref load-collections-xref --redirect-main http://docs.racket-lang.org/   --dest-name index.html manual.scrbl
-
-clean:
-	git clean -fdx .
-
-web: clean plt doc
-	scp -r * hashcollision.org:webapps/htdocs/ragg/
-
-
-plt:
-	raco pack --collect ragg.plt ragg