diff options
Diffstat (limited to 'dist')
| -rwxr-xr-x | dist/manweb | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/dist/manweb b/dist/manweb index 32e90298..ce455dad 100755 --- a/dist/manweb +++ b/dist/manweb @@ -32,6 +32,10 @@ for(i in */INDEX) @{ echo '<tr height=1><td colspan=2 bgcolor=#cccccc>' echo '<tr height=1><td>' } + if(~ $#name 0) + name=XXX-name-$j-XXX + if(~ $#n 0) + n=XXX-n-$j-XXX echo -n '<tr><td valign=top><a href="'$name'.html">'$name'('$n')</a><td>' sed -n ' /SH *NAM/,/SH/{ |