Re: removing previous info files

[Alper Ersoy]

Hi Karl,

Are we talking about the following change?

    2004-01-02  Alper Ersoy  <address@hidden>

        * makeinfo/node.c (clean_old_split_files): new function.
        ...

        * makeinfo/makeinfo.c (convert_from_loaded_file): call
        clean_old_split_files before calling split_file.

But of course, makeinfo should be outputting to the final destination
(ie. /usr/local/info) to be able to remove those files.

So I believe either automake should be modified to create info files
directly in the install directory, or clean_old_split_files should be
moved to the install-info tool.  First option will destroy existing
documentation in case of an error (as makeinfo removes the files in
such conditions unless forced) so we really have only one option,
which seems to be the right one to me.

Thanks,

-- 
Alper Ersoy