diff options
Diffstat (limited to 'Documentation/Makefile')
| -rw-r--r-- | Documentation/Makefile | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 273eae521..2cf609982 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -1,4 +1,5 @@ ASCIIDOC=asciidoc +A2X=a2x BROWSER=firefox doc: user-manual.html @@ -8,3 +9,16 @@ show: user-manual.html user-manual.html: user-manual.txt $(ASCIIDOC) user-manual.txt + +# Alternatively:: +user-manual.xhtml: user-manual.txt + $(A2X) --icons -f xhtml user-manual.txt + +user-manual.text: user-manual.txt + $(A2X) -f text user-manual.txt + +user-manual.pdf: user-manual.txt + $(A2X) -f pdf user-manual.txt + +clean: + rm -f user-manual.html user-manual.pdf user-manual.text |