OLD | NEW |
| (Empty) |
1 NAME=dartLangSpec | |
2 SPEC=$(NAME).tex | |
3 HASH=$(NAME)-hash.tex | |
4 LIST=$(NAME)-list.txt | |
5 HASHER=../../tools/addlatexhash.dart | |
6 | |
7 pdf: | |
8 pdflatex $(SPEC) | |
9 pdflatex $(SPEC) | |
10 pdflatex $(SPEC) | |
11 | |
12 pdfhash: hash_and_list | |
13 pdflatex $(HASH) | |
14 pdflatex $(HASH) | |
15 pdflatex $(HASH) | |
16 | |
17 dvi: | |
18 latex $(SPEC) | |
19 latex $(SPEC) | |
20 latex $(SPEC) | |
21 | |
22 dvihash: hash_and_list | |
23 latex $(HASH) | |
24 latex $(HASH) | |
25 latex $(HASH) | |
26 | |
27 hash_and_list: | |
28 dart $(HASHER) $(SPEC) $(HASH) $(LIST) | |
29 | |
30 help: | |
31 @echo "Goals:" | |
32 @echo " pdf, dvi: generate the pdf/dvi file containing the spec" | |
33 @echo " pdfhash, dvihash: ditto, with location markers filled in" | |
34 @echo " cleanish: remove [pdf]latex generated intermediate files" | |
35 @echo " clean: remove all generated files" | |
36 | |
37 cleanish: | |
38 rm -f *.aux *.log *.toc *.out | |
39 | |
40 clean: cleanish | |
41 rm -f *.dvi *.pdf $(HASH) $(LIST) | |
42 | |
OLD | NEW |