diff options
author | Stefan Ritter <xeno@thehappy.de> | 2012-01-23 00:01:32 +0100 |
---|---|---|
committer | Stefan Ritter <xeno@thehappy.de> | 2012-01-23 00:01:32 +0100 |
commit | 34543e9d932090dd718fa42c5dfbb1bbfcb7835b (patch) | |
tree | 27002b6fec6c384d260958b88b54bea67fb65c83 /Makefile | |
parent | acf4bb943aa4f6ea09cbf21d9e40372b2e8db640 (diff) |
Add makefile for documentation
Diffstat (limited to '')
-rw-r--r-- | Makefile | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Makefile b/Makefile new file mode 100644 index 0000000..785be69 --- /dev/null +++ b/Makefile @@ -0,0 +1,3 @@ +#!/bin/bash +documentation: + a2x -a lang=de -f pdf --dblatex-opts "-P latex.output.revhistory=0" --verbose *.txt |