rm -f set.dvi
db2dvi -d /usr/local2/BUILDS/gdh/i386-unknown-linux/docs/fptools-both.dsl   set.sgml
rm -f set.ps
dvips set.dvi -o set.ps
