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, 0 insertions, 11 deletions
diff --git a/Build/source/utils/xindy/TLpatches/patch-02-lbrace b/Build/source/utils/xindy/TLpatches/patch-02-lbrace deleted file mode 100644 index d638bcd6904..00000000000 --- a/Build/source/utils/xindy/TLpatches/patch-02-lbrace +++ /dev/null @@ -1,11 +0,0 @@ ---- 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; |