Moving dartLangSpec.tex to this repo (#233)

Author: eernstg

specification/.gitignore

@@ -0,0 +1,10 @@
+dartLangSpec*.aux
+dartLangSpec*.idx
+dartLangSpec*.ilg
+dartLangSpec*.ind
+dartLangSpec*.log
+dartLangSpec*.out
+dartLangSpec*.pdf
+dartLangSpec*.toc
+*-hash.tex
+*-list.txt

specification/Makefile

@@ -0,0 +1,45 @@
+NAME=dartLangSpec
+SPEC=$(NAME).tex
+HASH=$(NAME)-hash.tex
+LIST=$(NAME)-list.txt
+HASHER=scripts/addlatexhash.dart
+
+pdf:
+	pdflatex $(SPEC)
+	makeindex $(NAME).idx
+	pdflatex $(SPEC)
+	pdflatex $(SPEC)
+
+pdfhash: hash_and_list
+	pdflatex $(HASH)
+	makeindex $(NAME)-hash.idx
+	pdflatex $(HASH)
+	pdflatex $(HASH)
+
+dvi:
+	latex $(SPEC)
+	makeindex $(NAME).idx
+	latex $(SPEC)
+	latex $(SPEC)
+
+dvihash: hash_and_list
+	latex $(HASH)
+	makeindex $(NAME)-hash.idx
+	latex $(HASH)
+	latex $(HASH)
+
+hash_and_list:
+	dart $(HASHER) $(SPEC) $(HASH) $(LIST)
+
+help:
+	@echo "Goals:"
+	@echo "  pdf, dvi: generate the pdf/dvi file containing the spec"
+	@echo "  pdfhash, dvihash: ditto, with location markers filled in"
+	@echo "  cleanish: remove [pdf]latex generated intermediate files"
+	@echo "  clean: remove all generated files"
+
+cleanish:
+	rm -f *.aux *.log *.toc *.out
+
+clean: cleanish
+	rm -f *.dvi *.pdf $(HASH) $(LIST)