Index: docs/language/Makefile |
diff --git a/docs/language/Makefile b/docs/language/Makefile |
deleted file mode 100644 |
index 9c76ad4d6e1042e01597c161777e94120eb2647e..0000000000000000000000000000000000000000 |
--- a/docs/language/Makefile |
+++ /dev/null |
@@ -1,42 +0,0 @@ |
-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) |
- |