#!/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
