Julian Gilbey wrote:
> # Only register with install-info if this is a head file in
> # a tree of info files.
> if ($file=~/\.info$/ && ! $dh{NOSCRIPTS}) {
>
> So there's the problem: doc/gri is not considered a head file as it
> doesn't end '.info'. Maybe the following replacement for the above
> would give more appropriate behaviour:
>
> if ($file !~ /-\d+$/ && ! $dh{NOSCRIPTS}) {That sounds reasonable, applied in woody. -- see shy jo
