aboutsummaryrefslogtreecommitdiff
path: root/libXaw/spec/fixindex.awk
diff options
context:
space:
mode:
authormarha <marha@users.sourceforge.net>2011-03-25 15:37:13 +0000
committermarha <marha@users.sourceforge.net>2011-03-25 15:37:13 +0000
commit41a502478a2972358dec934d82ee401c61a5cd36 (patch)
tree3fda8100e6da9b4a2863789e393016a750502067 /libXaw/spec/fixindex.awk
parent81aeaf653a832c4054d9a40b1cc796911521a739 (diff)
parent272e57235cd60a2e65ac8258d96a02eb3939b687 (diff)
downloadvcxsrv-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.awk73
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);
-}