summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/doc/pdftex/manual/syntaxform.awk
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/doc/pdftex/manual/syntaxform.awk')
-rw-r--r--Master/texmf-dist/doc/pdftex/manual/syntaxform.awk7
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");
}