Re: Convert Shell files to Batch files?

[Hans Hagen <pragma@wxs.nl>]

David Arnold wrote:
> 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
>
>   
why two runs? texexec does this automatically

texexec sectionfigs*.tex


or use runtools.rb :

file: makefigs.rb

$job = Job.new

Dir.glob("section*figs.tex").each do |file|
     $job.execute_script("texexec #{file}")
end

# etc etc

runtools makefigs.rb


> #! /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
> _______________________________________________
> ntg-context mailing list
> ntg-context@ntg.nl
> http://www.ntg.nl/mailman/listinfo/ntg-context
>   


-- 

-----------------------------------------------------------------
                                          Hans Hagen | PRAGMA ADE
              Ridderstraat 27 | 8061 GH Hasselt | The Netherlands
     tel: 038 477 53 69 | fax: 038 477 53 74 | www.pragma-ade.com
                                             | www.pragma-pod.nl
-----------------------------------------------------------------