22 lines
758 B
Diff
22 lines
758 B
Diff
diff -up cil-1.7.3/doc/cilcode.pl.orig cil-1.7.3/doc/cilcode.pl
|
|
--- cil-1.7.3/doc/cilcode.pl.orig 2017-05-22 15:52:31.539144084 +0200
|
|
+++ cil-1.7.3/doc/cilcode.pl 2017-05-22 15:53:22.750818950 +0200
|
|
@@ -45,7 +45,7 @@ binmode STDOUT;
|
|
my $lineno = 0;
|
|
while(<>) {
|
|
$lineno ++;
|
|
- if(! $incode && $_ =~ m|^\\begin{cilcode}\[(.*)\](.*)$|) {
|
|
+ if(! $incode && $_ =~ m|^\\begin\{cilcode}\[(.*)\](.*)$|) {
|
|
$opt = $1;
|
|
$cil_options = $2;
|
|
$incode = 1;
|
|
@@ -60,7 +60,7 @@ while(<>) {
|
|
print "\\begin{code}\n";
|
|
next;
|
|
}
|
|
- if($incode && $_ =~ m|^\\end{cilcode}$|) {
|
|
+ if($incode && $_ =~ m|^\\end\{cilcode}$|) {
|
|
$incode = 0;
|
|
if($opt eq 'local') {
|
|
print TSTSRC $postambleLocal;
|