diff options
Diffstat (limited to 'Documentation/Makefile')
| -rw-r--r-- | Documentation/Makefile | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile new file mode 100644 index 000000000..273eae521 --- /dev/null +++ b/Documentation/Makefile @@ -0,0 +1,10 @@ +ASCIIDOC=asciidoc +BROWSER=firefox + +doc: user-manual.html + +show: user-manual.html + $(BROWSER) user-manual.html + +user-manual.html: user-manual.txt + $(ASCIIDOC) user-manual.txt |