| changeset 10 | 33c8d59079cb |
| parent 0 | 2a5f2464f8c6 |
| child 11 | 048ce007b6d8 |
| 9:da5628848bba | 10:33c8d59079cb |
|---|---|
72 |
72 |
73 %.dvi: %.tex |
73 %.dvi: %.tex |
74 rubber ${RUBBER_FLAGS} $< |
74 rubber ${RUBBER_FLAGS} $< |
75 |
75 |
76 %.gz: %.pod |
76 %.gz: %.pod |
77 pod2man --section $(subst .,,$(suffix $@)) $< | gzip >$@ |
77 iconv -f utf8 -t iso8859-15 $< | pod2man --name $(basename $<) --section $(subst .,,$(suffix $@)) | gzip >$@ |