diff options
Diffstat (limited to 'documentation/Makefile')
| -rw-r--r-- | documentation/Makefile | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/documentation/Makefile b/documentation/Makefile new file mode 100644 index 0000000..10ca90b --- /dev/null +++ b/documentation/Makefile @@ -0,0 +1,12 @@ +ASCIIDOC_OPTS = \ + -f asciidoc.conf + +HTML_SOURCES = readme +HTML_PAGES = readme.html + +%.html: %.txt asciidoc.conf + asciidoc $(ASCIIDOC_OPTS) --out-file=./$@ $*.txt + +all: $(HTML_PAGES) + +.PHONY: all |