diff options
author | Hans Hagen <pragma@wxs.nl> | 2003-03-03 00:00:00 +0100 |
---|---|---|
committer | Hans Hagen <pragma@wxs.nl> | 2003-03-03 00:00:00 +0100 |
commit | 76c1d3fbb08e9b34c68f4b326b538f5802802500 (patch) | |
tree | 7a2111798bfa0ac208caa249510c8135dace8059 /context/perltk/texexec.pl | |
parent | 94506ae16cbb3851986ebf900316894301f46667 (diff) | |
download | context-76c1d3fbb08e9b34c68f4b326b538f5802802500.tar.gz |
stable 2003.03.03
Diffstat (limited to 'context/perltk/texexec.pl')
-rw-r--r-- | context/perltk/texexec.pl | 39 |
1 files changed, 21 insertions, 18 deletions
diff --git a/context/perltk/texexec.pl b/context/perltk/texexec.pl index e0f66d3ff..f2e2351f3 100644 --- a/context/perltk/texexec.pl +++ b/context/perltk/texexec.pl @@ -1240,25 +1240,28 @@ sub CompareFiles # 2 = tuo else { return 0 } } +#sub CheckPositions +# { return if ($DVIspec eq '') || ($OutputFormat eq 'pdftex') ; +# my $JobName = shift ; my $TuoName = "$JobName.tuo" ; +# if (open(POS,"$TuoName")) +# { seek POS, (-s $TuoName) - 5000, 0 ; +# while (<POS>) +# { if (/\% *position commands *\: *(\d*) *\(unresolved\)/io) +# { if ($1) +# { print " dvi positions : $1 ($DVIspec ." ; +# close (POS) ; +# open(POS,">>$TuoName") ; +# $ENV{uc "$DVIspec.TEXFONTSDIR"} = $TeXFontsPath ; +# print POS "\%\n\% extracted from dvi file by $DVIspec:\n\%\n" ; +# close(POS) ; +# print "." ; +# RunPerlScript ($DVIspec, "$JobName >> $TuoName") ; +# print ".)\n" } +# last } } +# close (POS) } } + sub CheckPositions - { return if ($DVIspec eq '') || ($OutputFormat eq 'pdftex') ; - my $JobName = shift ; my $TuoName = "$JobName.tuo" ; - if (open(POS,"$TuoName")) - { seek POS, (-s $TuoName) - 5000, 0 ; - while (<POS>) - { if (/\% *position commands *\: *(\d*) *\(unresolved\)/io) - { if ($1) - { print " dvi positions : $1 ($DVIspec ." ; - close (POS) ; - open(POS,">>$TuoName") ; - $ENV{uc "$DVIspec.TEXFONTSDIR"} = $TeXFontsPath ; - print POS "\%\n\% extracted from dvi file by $DVIspec:\n\%\n" ; - close(POS) ; - print "." ; - RunPerlScript ($DVIspec, "$JobName >> $TuoName") ; - print ".)\n" } - last } } - close (POS) } } + { } # my @ExtraPrograms = () ; # |