diff options
Diffstat (limited to 'docs/Makefile')
| -rw-r--r-- | docs/Makefile | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/docs/Makefile b/docs/Makefile index f340323..355f0bc 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -3,11 +3,16 @@ TXT=$(wildcard *.txt) MAN=$(shell ls *.txt|xargs -n 1 head -n 1|sed "s,\(.*\)(\([0-9]\)),\1.\2,") HTML=$(patsubst %.txt,%.html,$(TXT)) -all: $(HTML) $(MAN) +all: html man + +html: $(HTML) +man: $(MAN) + +.PHONY: html man %.html: %.txt @echo asciidoc $< - @asciidoc -f asciidoc.conf --backend=html5 $< + @asciidoc -f asciidoc.conf --backend=xhtml11 -aappsh_version=0.2-dev $< %.1: %.txt $(call man,$<) |