diff options
| author | rws <empty> | 1988-02-27 22:05:09 +0000 |
|---|---|---|
| committer | rws <empty> | 1988-02-27 22:05:09 +0000 |
| commit | da30983327963ea00aee3784924e097b5cd2a6d8 (patch) | |
| tree | 3b97a3847399d340698a5343da205664541d28e5 /xc/doc/util | |
| parent | 779561cca875d6786e1dcdfcd4174e89ad2aa3c4 (diff) | |
fixes
Diffstat (limited to 'xc/doc/util')
| -rw-r--r-- | xc/doc/util/fixindex.awk | 20 |
1 files changed, 15 insertions, 5 deletions
diff --git a/xc/doc/util/fixindex.awk b/xc/doc/util/fixindex.awk index e0f82a76d..e8849f3bd 100644 --- a/xc/doc/util/fixindex.awk +++ b/xc/doc/util/fixindex.awk @@ -9,24 +9,29 @@ NR == 1 { printf(".Ib \"%s\"\n", $2); major = $2; minor = $3; + if ($4 == "@DEF@") { + pagelist = BD $1 ED; + } + else { + pagelist = $1; + } pageno = $1; oldpageno = $1; oldpagelist = ""; - pagelist = $1; } 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; } - oldpageno = $1; - oldpagelist = pagelist; } else { # old page, but check for def if ($4 == "@DEF@") { @@ -40,11 +45,16 @@ NR != 1 { } else # one has changed { - if (minor != "") # dump full record + if (minor != "") # dump full record printf(".I< \"%s\" \"%s\" \"%s\"\n", major, minor, pagelist); else printf(".I> \"%s\" \"%s\"\n", major, pagelist); - pagelist = $1; # restart 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 |