equal
deleted
inserted
replaced
11 BIBTEX = bibtex |
11 BIBTEX = bibtex |
12 RAIL = rail -a |
12 RAIL = rail -a |
13 SEDINDEX = ../sedindex |
13 SEDINDEX = ../sedindex |
14 FIXBOOKMARKS = perl -pi ../fixbookmarks.pl |
14 FIXBOOKMARKS = perl -pi ../fixbookmarks.pl |
15 |
15 |
16 GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.ilg *.blg *.out |
16 DEFAULT_GARBAGE = *.aux *.log *.toc *.idx *.rai *.rao *.bbl *.ind *.ilg *.blg *.out |
17 OUTPUT = *.dvi *.pdf *.ps |
17 DEFAULT_OUTPUT = *.dvi *.pdf *.ps |
|
18 GARBAGE = |
|
19 OUTPUT = |
18 |
20 |
19 |
21 |
20 ## actions |
22 ## actions |
21 |
23 |
22 nothing: |
24 nothing: |
23 |
25 |
24 clean: |
26 clean: |
25 @rm -f $(GARBAGE) |
27 @rm -f $(DEFAULT_GARBAGE) $(GARBAGE) |
26 |
28 |
27 mrproper: |
29 mrproper: |
28 @rm -f $(OUTPUT) $(GARBAGE) |
30 @rm -f $(DEFAULT_GARBAGE) $(DEFAULT_OUTPUT) $(GARBAGE) $(OUTPUT) |
29 |
31 |
30 |
32 |
31 isabelle.eps: |
33 isabelle.eps: |
32 test -r isabelle.eps || ln -s ../gfx/isabelle.eps . |
34 test -r isabelle.eps || ln -s ../gfx/isabelle.eps . |
33 |
35 |