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