diff options
author | marha <marha@users.sourceforge.net> | 2011-03-25 15:37:13 +0000 |
---|---|---|
committer | marha <marha@users.sourceforge.net> | 2011-03-25 15:37:13 +0000 |
commit | 41a502478a2972358dec934d82ee401c61a5cd36 (patch) | |
tree | 3fda8100e6da9b4a2863789e393016a750502067 /libXaw/spec/fixindex.awk | |
parent | 81aeaf653a832c4054d9a40b1cc796911521a739 (diff) | |
parent | 272e57235cd60a2e65ac8258d96a02eb3939b687 (diff) | |
download | vcxsrv-41a502478a2972358dec934d82ee401c61a5cd36.tar.gz vcxsrv-41a502478a2972358dec934d82ee401c61a5cd36.tar.bz2 vcxsrv-41a502478a2972358dec934d82ee401c61a5cd36.zip |
svn merge ^/branches/released .
Diffstat (limited to 'libXaw/spec/fixindex.awk')
-rw-r--r-- | libXaw/spec/fixindex.awk | 73 |
1 files changed, 0 insertions, 73 deletions
diff --git a/libXaw/spec/fixindex.awk b/libXaw/spec/fixindex.awk deleted file mode 100644 index e8849f3bd..000000000 --- a/libXaw/spec/fixindex.awk +++ /dev/null @@ -1,73 +0,0 @@ -BEGIN { - FS = ":"; - BD = "\\s+1\\fB"; - ED = "\\fP\\s-1"; -} - -NR == 1 { - if ($3 != "") - printf(".Ib \"%s\"\n", $2); - major = $2; - minor = $3; - if ($4 == "@DEF@") { - pagelist = BD $1 ED; - } - else { - pagelist = $1; - } - pageno = $1; - oldpageno = $1; - oldpagelist = ""; -} - -NR != 1 { - if ($2 == major && $3 == minor) # neither has changed - { - if ($1 != pageno) { # new page number, append - oldpageno = $1; - oldpagelist = pagelist; - if ($4 == "@DEF@") { - pagelist = pagelist ", " BD $1 ED; - } - else { - pagelist = pagelist ", " $1; - } - } - else { # old page, but check for def - if ($4 == "@DEF@") { - if (pageno == oldpageno) { - if (oldpagelist != "") - oldpagelist = oldpagelist ", " - } - pagelist = oldpagelist BD $1 ED; - } - } - } - else # one has changed - { - if (minor != "") # dump full record - printf(".I< \"%s\" \"%s\" \"%s\"\n", major, minor, pagelist); - else - printf(".I> \"%s\" \"%s\"\n", major, pagelist); - if ($4 == "@DEF@") { # restart pagelist - pagelist = BD $1 ED; - } - else { - pagelist = $1; - } - oldpagelist = ""; - oldpageno = $1; - if ($2 != major && $3 != "") # major has changed, minor not null - printf(".Ib \"%s\"\n", $2); - } - major = $2; - minor = $3; - pageno = $1; -} - -END { - if (minor != "") # dump full record - printf(".I< \"%s\" \"%s\" \"%s\"\n", major, minor, pagelist); - else - printf(".I> \"%s\" \"%s\"\n", major, pagelist); -} |