Utility makefile

2013-05-14 12:43:42 -04:00 · 2013-05-14 12:43:42 -04:00 · e729db6ffd
parent 9d854a263f
commit e729db6ffd
2 changed files with 14 additions and 0 deletions
--- a/marketplace/scribblings/.gitignore
+++ b/marketplace/scribblings/.gitignore
@ -0,0 +1 @@
+out/
--- a/marketplace/scribblings/Makefile
+++ b/marketplace/scribblings/Makefile
@ -0,0 +1,13 @@
+all: out
+
+out:
+	raco scribble \
+		--htmls \
+		--dest out \
+		++main-xref-in \
+		--redirect-main http://docs.racket-lang.org/ \
+		\
+		marketplace.scrbl
+
+clean:
+	rm -rf out