#! /bin/csh if( -f fmbatch.dat) rm fmbatch.dat mkdir -p ../html cp $CDEV/doc/bullet.jpg ../html foreach x (cdevGenericServer.doc cdevGenericServerTITLE.doc cdevGenericServerExample.doc) echo "Open $x" >> fmbatch.dat echo "SaveAs ma $x ../html/`basename $x .doc`.mif" >> fmbatch.dat end fmbatch fmbatch.dat rm fmbatch.dat cd ../html mif2html -t 'CDEV Generic Server' -o cdevGenericServer.html cdevGenericServerTITLE.mif -TOC -LOF cdevGenericServer.mif cdevGenericServerExample.mif rm *.mif