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