equal
deleted
inserted
replaced
4 html = out.html/${doc}.html |
4 html = out.html/${doc}.html |
5 |
5 |
6 date = ${shell date -I} |
6 date = ${shell date -I} |
7 revision = "${shell hg id -tibB}" |
7 revision = "${shell hg id -tibB}" |
8 |
8 |
|
9 .PHONY: all clean distclean |
|
10 |
|
11 |
|
12 all: ${html} |
|
13 clean: |
|
14 distclean: ${clean} |
|
15 rm -f ${html} |
|
16 rmdir ${dir ${html}} |
|
17 |
9 ${html}: ${txt} |
18 ${html}: ${txt} |
10 @mkdir -p ${dir $@} |
19 @mkdir -p ${dir $@} |
11 asciidoc -a data-uri -a icons -a date=${date} \ |
20 asciidoc -a lang=de -a data-uri -a icons -a date=${date} \ |
12 -a revision=$(revision) -o $@ ${txt} |
21 -a revision=$(revision) -o $@ ${txt} |