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