diff options
Diffstat (limited to 'Master/texmf-dist/doc/pdftex/manual/syntaxform.awk')
-rw-r--r-- | Master/texmf-dist/doc/pdftex/manual/syntaxform.awk | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/Master/texmf-dist/doc/pdftex/manual/syntaxform.awk b/Master/texmf-dist/doc/pdftex/manual/syntaxform.awk index 2212d5fd368..005aeb8a5e3 100644 --- a/Master/texmf-dist/doc/pdftex/manual/syntaxform.awk +++ b/Master/texmf-dist/doc/pdftex/manual/syntaxform.awk @@ -1,4 +1,4 @@ -#$Id: syntaxform.awk,v 1.13 2006/02/10 21:27:48 hhenkel Exp $ +#$Id: syntaxform.awk 635 2010-11-14 19:15:12Z karl $ # pdftex-t.tex --> pdftex-syntax.txt # requires gawk due to gensub() function @@ -55,6 +55,11 @@ BEGIN{ $0 = gensub(/\\Tex *{([^}]*)}/, "\\1", "g"); } +/\\tex/ { + $0 = gensub(/\\tex *{([^}]*)}/, "\\\\\\1", "g"); +} + + /\\Optional/ { $0 = gensub(/\\Optional *{([^}]*)}/, "[\\1]", "g"); } |