blob: 669afc481c9b3872e09762513bc71f3a97f24be0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
#! @PERL5@
$latexonly = 0;
while(<>)
{
$latexonly = 1 if /^%latex/i;
$latexonly = 0 if /^%endlatex/i;
if($latexonly) {
if(/^%!(.*)/)
{
print $1;
}
}
else {
print;
}
}
|