3 txt = ${doc}.txt

     3 txt = ${doc}.txt

     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 

    11 

     9 .PHONY: all clean distclean

    12 .PHONY: all clean distclean

    10 

    13 

    11 

    14 

    12 all:	${html}

    15 all:	${html}

    13 clean:	

    16 clean:	

    14 distclean:	${clean}

    17 distclean:	${clean}

    15 		rm -f ${html}

    18 		rm -f ${html}

    16 		rmdir ${dir ${html}}

    19 		rmdir ${dir ${html}}

    17 

    21 

    19 	@mkdir -p ${dir $@}

    23 	@mkdir -p ${dir $@}

    20 	asciidoc -a lang=de -a data-uri -a icons -a date=${date} \

    24 	asciidoc -a lang=de -a data-uri -a icons -a date=${date} \

    21 		-a revision=$(revision) -o $@ ${txt}

    25 		-a revision=$(revision) -o $@ ${txt}