| changeset 2392 | 2fb9659d30ca |
| parent 1907 | d069f23e941f |
| child 4165 | 42f2619adfd7 |
| 2391:de76cee7a30c | 2392:2fb9659d30ca |
|---|---|
26 |
26 |
27 FONTDOCFILES = fontindex.dvi keyindex.dvi fkmatrix.dvi |
27 FONTDOCFILES = fontindex.dvi keyindex.dvi fkmatrix.dvi |
28 |
28 |
29 fontdocfiles: $(FONTDOCFILES) |
29 fontdocfiles: $(FONTDOCFILES) |
30 |
30 |
31 manual: manual.tex manual.dvi |
31 manual: manual.dvi |
32 |
|
33 manual.tex: manual.itex |
|
34 |
32 |
35 clean: |
33 clean: |
36 rm -f *.aux *.log |
34 rm -f *.aux *.log |