Noel Koethe <[EMAIL PROTECTED]> writes: > 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
Yes. As Ian said, this is so that people without `makeinfo' installed can still read the documentation. (In fact, Info pages can even be read without an Info reader.) I believe this is mandated by the GNU standards. `make distclean' doesn't remove those Info pages precisely so that they can be shipped with the release.