
#!/bin/bash
cp ../src/$1.cc ./$1.cc
./mkdoc >$1.doc
./mktexi_inc $1.doc >$1.texi
tex -interaction batchmode $1.texi  
texi2pdf  -b $1.texi
dvips -o $1.ps $1.dvi  



