Index: docs/language/Makefile |
diff --git a/docs/language/Makefile b/docs/language/Makefile |
new file mode 100644 |
index 0000000000000000000000000000000000000000..9c76ad4d6e1042e01597c161777e94120eb2647e |
--- /dev/null |
+++ b/docs/language/Makefile |
@@ -0,0 +1,42 @@ |
+NAME=dartLangSpec |
+SPEC=$(NAME).tex |
+HASH=$(NAME)-hash.tex |
+LIST=$(NAME)-list.txt |
+HASHER=../../tools/addlatexhash.dart |
+ |
+pdf: |
+ pdflatex $(SPEC) |
+ pdflatex $(SPEC) |
+ pdflatex $(SPEC) |
+ |
+pdfhash: hash_and_list |
+ pdflatex $(HASH) |
+ pdflatex $(HASH) |
+ pdflatex $(HASH) |
+ |
+dvi: |
+ latex $(SPEC) |
+ latex $(SPEC) |
+ latex $(SPEC) |
+ |
+dvihash: hash_and_list |
+ latex $(HASH) |
+ 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) |
+ |