equal
deleted
inserted
replaced
5 date = ${shell date -I} |
5 date = ${shell date -I} |
6 revision = "${shell hg id -tibB}" |
6 revision = "${shell hg id -tibB}" |
7 |
7 |
8 html out/exim.html: ${TXT} |
8 html out/exim.html: ${TXT} |
9 @mkdir -p out |
9 @mkdir -p out |
10 asciidoc -a date=${date} -a revision=${revision} -a x=y -o out/exim.html $< |
10 asciidoc -a date=${date} -a revision=${revision} -o out/exim.html $< |
11 |
11 |
12 #pdf a2x/exim.pdf: ${TXT} |
12 #pdf a2x/exim.pdf: ${TXT} |
13 # mkdir -p a2x |
13 # mkdir -p a2x |
14 # a2x --format=pdf --destination-dir=a2x/ $< |
14 # a2x --format=pdf --destination-dir=a2x/ $< |
15 |
15 |