delete obsolete Makefile

6 years ago · 7b9538c054
parent 1336a12753
commit 7b9538c054
1 changed files with 0 additions and 12 deletions
--- a/brag/brag/Makefile
+++ b/brag/brag/Makefile
@ -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