![](https://secure.gravatar.com/avatar/13a310a9e966d8e50f10029887c37493.jpg?s=120&d=mm&r=g)
20 Apr
2006
20 Apr
'06
10:42 a.m.
All, Anyone know how to convert these shell files to batch files for a PC? #! /bin/sh for fig in section*figs.tex; do echo "Processing file $fig (first run)"; texexec $fig > nul; echo "Processing file $fig (second run)"; texexec $fig > nul; done #! /bin/sh for figlib in figlibSection*.xml; do echo "Processing file $figlib"; texexec --pdf --use=fig-make --mod=letter $figlib > nul; done #! /bin/sh ./makefigs ./makefiglibs