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;