cdev-1.7.2n

2022-12-13 12:44:04 +01:00
commit b3b88fc333
1357 changed files with 338883 additions and 0 deletions
@@ -0,0 +1,18 @@
+#! /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