| 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)
|
| -
|
|
|