Re: Transition from dpkg to GNU install-info
On 2009-04-14 16:25 +0200, Nicolas François wrote:
> On Mon, Mar 16, 2009 at 01:36:35PM +0100, Norbert Preining wrote:
>> On Mo, 16 Mär 2009, Nicolas François wrote:
>> > I will try to review update-info-dir next week.
>> That would be great, please use the version from svn always, thanks.
> update-info-dir is simple, so easy to review. Thanks ;)
>> for i in `find "$INFODIR" -name \*.info.gz -or -name \*.info` ; do
> I don't think all info files are named *.info.gz or *.info.
> For example I have:
> Maybe all files from /usr/share/info should be taken into account, except:
This is not quite enough for really big manuals that are split into more
than ten files. So should we add
to that list (and hope that there won't ever be a manual that is split
into more than hundred files) ?