| changeset 1879 | 9ef0850b9b68 |
| parent 1819 | d657bfdc06c4 |
| child 2233 | 3840cefa5222 |
| 1878:a5c46cff620f | 1879:9ef0850b9b68 |
|---|---|
22 |
22 |
23 %.html: %.txt |
23 %.html: %.txt |
24 asciidoc -b html4 $*.txt || asciidoc -b html $*.txt |
24 asciidoc -b html4 $*.txt || asciidoc -b html $*.txt |
25 |
25 |
26 clean: |
26 clean: |
27 $(RM) $(MAN) $(MAN:%=%.xml) $(MAN:%=%.html) |
27 $(RM) $(MAN) $(MAN:%=%.xml) $(MAN:%=%.html) *.[0-9].gendoc.txt |