diff options
Diffstat (limited to 'Build/source/utils/xindy/TLpatches/patch-02-lbrace')
-rw-r--r-- | Build/source/utils/xindy/TLpatches/patch-02-lbrace | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/Build/source/utils/xindy/TLpatches/patch-02-lbrace b/Build/source/utils/xindy/TLpatches/patch-02-lbrace new file mode 100644 index 00000000000..d638bcd6904 --- /dev/null +++ b/Build/source/utils/xindy/TLpatches/patch-02-lbrace @@ -0,0 +1,11 @@ +--- make-inp-rules.pl (revision 45762) ++++ make-inp-rules.pl (working copy) +@@ -8,7 +8,7 @@ + + + while (<STDIN>) { +- if (/\\indexentry{(.+)--([8-9a-f][0-9a-f])\}\{1\}/) { ++ if (/\\indexentry\{(.+)--([8-9a-f][0-9a-f])\}\{1\}/) { + if (!($1 =~ /inputenc Error|\@inpenc\@undefined/)) { + $i = hex($2); + $macro = $1; |