#! /bin/sh
for f in dvibook \
dviconcat \
dviselect \
dvitodvi
do
groff -mandoc -Tps $f.man >$f.ps
ps2pdf13 $f.ps $f.pdf
done
