DBLATEX_OPTS="-P latex.encoding=utf8 -P latex.output.revhistory=0 -P doc.publisher.show=0"

.PHONY: all clean

all: document.html

document.html: document.asciidoc
	asciidoc --backend=html $<

document.tex: document.asciidoc
	asciidoc --backend=latex $<

document.pdf: document.asciidoc
	a2x -f pdf --dblatex-opts=$(DBLATEX_OPTS) $<

clean:
	rm -f document.html