diff options
Diffstat (limited to 'doc/genps.pl')
| -rwxr-xr-x | doc/genps.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/genps.pl b/doc/genps.pl index c80a1b2..5517d84 100755 --- a/doc/genps.pl +++ b/doc/genps.pl @@ -561,7 +561,7 @@ for ( $i = 0 ; $i < $npara ; $i++ ) { push(@tocptypes, 'toc0'.' :'.$sech.':'.$chap.' '.$secn.':'); unshift(@{$paras[$i]}, - [-5, $xref], [0,$chap.' '.$secn.':'], [0, ' ']); + [-5, $xref], [0,$chap.' '.$secn.':'], [0, ' ']); } elsif ( $ptype eq 'head' || $ptype eq 'subh' ) { unless ( $xtype =~ /^\S+ (\S+) :(.*)$/ ) { die "Bad para"; |