/doc/German/userguide-de/pdfgen
#! | 12 lines | 10 code | 2 blank | 0 comment | 0 complexity | af229e355f04964698644255763db401 MD5 | raw file
Possible License(s): GPL-2.0, GPL-3.0, WTFPL
- #!/bin/bash
- t2t=txt2tags
- html=userguide-pdf.html
- in=userguide-de.t2t
- out=../userguide-de.pdf
- $t2t $in
- htmldoc --batch pdf.book
- rm $html
- echo saved $out
- exit 0