/doc/German/userguide-de/pdfgen
#! | 12 lines | 10 code | 2 blank | 0 comment | 0 complexity | af229e355f04964698644255763db401 MD5 | raw file
1#!/bin/bash 2 3t2t=txt2tags 4html=userguide-pdf.html 5in=userguide-de.t2t 6out=../userguide-de.pdf 7 8$t2t $in 9htmldoc --batch pdf.book 10rm $html 11echo saved $out 12exit 0