--- a
+++ b/doc/mk_pdf_dvi
@@ -0,0 +1,11 @@
+
+#!/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  
+
+
+