diff options
Diffstat (limited to 'systems/doc/pdftex/manual/syntaxform.awk')
-rw-r--r-- | systems/doc/pdftex/manual/syntaxform.awk | 124 |
1 files changed, 0 insertions, 124 deletions
diff --git a/systems/doc/pdftex/manual/syntaxform.awk b/systems/doc/pdftex/manual/syntaxform.awk deleted file mode 100644 index cdabfe77f8..0000000000 --- a/systems/doc/pdftex/manual/syntaxform.awk +++ /dev/null @@ -1,124 +0,0 @@ -# $Id: syntaxform.awk 742 2016-04-25 17:30:55Z karl $ -# Public domain. Originally written by Petr Olsak. -# pdftex-syntax.tex and pdftex-t.tex --> pdftex-syntax.txt -# requires gawk due to gensub() function - -BEGIN{ - buffer = ""; -} - -/\015*$/ { - gsub(/\015*$/, ""); -} - -/^%%S NL/ { - print ""; - next; -} - -/^%%S/ { - gsub (/^%%S/, "%%" ); - print; - next; -} - -/^\\Syntax/ { - printing = 1; - indentation = 0; - next; -} - -// { - if (buffer != "") { - gsub(/^ */, ""); - $0 = buffer $0; - } - buffer = ""; -} - -/\|\|/ { - gsub(/\|\|/, "-"); -} - -/^ */{ - gsub(/^ */, indspaces); -} - -/\\Something/ { - $0 = gensub(/\\Something *{([^}]*)}/, "<\\1>", "g"); -} - -/\\Literal/ { - $0 = gensub(/\\Literal *{([^}]*)}/, "\\1", "g"); -} - -/\\Tex/ { - $0 = gensub(/\\Tex *{([^}]*)}/, "\\1", "g"); -} - -/\\tex/ { - $0 = gensub(/\\tex *{([^}]*)}/, "\\\\\\1", "g"); -} - - -/\\Optional/ { - $0 = gensub(/\\Optional *{([^}]*)}/, "[\\1]", "g"); -} - -/\\Means/ { - gsub(/\\Means/, "-->"); - indentation = match($0, /-->/); - indspaces = " "; - for(i=0; i < indentation; i++) - indspaces = indspaces " "; -} - -/\\Lbrace/ { - gsub(/\\Lbrace/, "{"); -} - -/\\Rbrace/ { - gsub(/\\Rbrace/, "}"); -} - -/\\Or/ { - gsub(/\\Or/, "|"); -} - -/\\Next/ { - gsub(/\\Next /, ""); -} - -/\\unkern/ { - gsub(/\\unkern */, ""); -} - -/\\(Whatever|Modelist)/ { - whatind = 57; - whatpos = match($0, /\\(Whatever|Modelist)/); - b = substr($0, 0, whatpos - 1) - c = substr($0, whatpos) - c = gensub(/\\(Whatever|Modelist) *{([^}]*)}/, "(\\2)", "g", c); - $0 = b; - for(i = whatpos; i < whatind; i++) - $0 = $0 " "; - $0 = $0 c; -} - -/^}/ {printing = 0;} - -/% *$/ { - gsub(/% *$/, ""); - buffer = $0; - next; -} - -/^ *$/ { - $0 = "================= ERROR"; -} - -/ *$/ { - gsub(/ *$/, ""); -} - -{ if (printing) print; } |