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 '' echo '' } + if(~ $#name 0) + name=XXX-name-$j-XXX + if(~ $#n 0) + n=XXX-n-$j-XXX echo -n ''$name'('$n')' sed -n ' /SH *NAM/,/SH/{