On 20 Feb 2002 at 12:54, Noel Koethe wrote: > wget 1.8.1 is shipped with the files in doc/ > wget.info > wget.info-1 > wget.info-2 > wget.info-3 > wget.info-4 > > They are build out of wget.texi if I remove them > and makeinfo is installed. > > The files are removed when runing "make realclean". > I think they should/could also removed when runing > "make distclean", or am I missing an important point?
Perhaps they are included in the distribution in case the system does not have the tools to rebuild them? However, the presence of "wget.info*" in the distribution does seem inconsistent with the absence of the "wget.1" manpage file.
