##// END OF EJS Templates
Generate html documentation by default, too.
Thomas Arendsen Hein -
r1006:b0e58143 default
parent child Browse files
Show More
@@ -1,21 +1,21 b''
1 SOURCES=$(wildcard *.[0-9].txt)
1 SOURCES=$(wildcard *.[0-9].txt)
2 MAN=$(SOURCES:%.txt=%)
2 MAN=$(SOURCES:%.txt=%)
3 HTML=$(SOURCES:%.txt=%.html)
3 HTML=$(SOURCES:%.txt=%.html)
4
4
5 all: man
5 all: man html
6
6
7 man: $(MAN)
7 man: $(MAN)
8
8
9 html: $(HTML)
9 html: $(HTML)
10
10
11 %: %.xml
11 %: %.xml
12 xmlto man $*.xml
12 xmlto man $*.xml
13
13
14 %.xml: %.txt
14 %.xml: %.txt
15 asciidoc -d manpage -b docbook $*.txt
15 asciidoc -d manpage -b docbook $*.txt
16
16
17 %.html: %.txt
17 %.html: %.txt
18 asciidoc -b html $*.txt
18 asciidoc -b html $*.txt
19
19
20 clean:
20 clean:
21 $(RM) $(MAN) $(MAN:%=%.xml) $(MAN:%=%.html)
21 $(RM) $(MAN) $(MAN:%=%.xml) $(MAN:%=%.html)
General Comments 0
You need to be logged in to leave comments. Login now