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