rem makereg.bat if not "%1"=="" goto Start @echo off echo Windows batch file to generate message header field registry files echo -------- echo Usage: makereg [-c] file echo -c compile report description to Notation3 echo file is name of source file to generate headers echo .n3 assumed; output is .xml and .html echo -------- goto :Exit :Start set hugsdir=C:\DEV\Hugs98 set runhaskell=%hugsdir%\runhugs set reportcompiler=%runhaskell% ..\CompileRDF\RepToRDF.hs set reportgenerator=..\PythonN3\N3GenReport.py set cwm=C:\DEV\W3C\Swap1144\cwm.py :Next if "%1"=="" goto Exit if "%1"=="-c" goto Compile %reportgenerator% -i GenMini.n3,%1.n3 -v path=. -v htmlname=%1.html -v xmlname=%1.xml -v entries -r hrep:GenHeaders shift goto next :Compile %reportcompiler% -i=GenMini.rep -o=GenMini.n3 %cwm% --n3=i GenMini.n3 > GenMini-cwm.n3 shift goto next :Exit