>> � �If I call : >> � �$ make >> � �The .info file is built. >> >> � �If I call : >> � �$ make clean >> � �The .info file is not cleaned. >> >> � �It is the same thing for pdf, if I call : >> � �$ make pdf >> � �The .pdf file is built. >> >> � �If I call : >> � �$ make clean >> � �The .pdf file is not cleaned. >> >> � �Is there a rule which clean the .info or .pdf file? >> >> That is as intended, documentation is supposed to be distribtued with >> the tarball so that users do not need to install whatever tools are >> needed to generate it, hence why `make clean' does not remove them. >> If you wish to remove all generated files, you'll need to do `make >> distclean'.
Not so strightforward. 'make distclean' should remove all generated files that don't included into distribution. Therefore, .info should be left inplace, same as Makefile.in (both generated, but included into tarball), but Makefile (plain "final" one) should be removed because generarated and not included into tarball. You are ofcourse completely correct, I was half a sleep when I wrote the reply and was really refering to make maintainer-clean which does remove it. Thanks for the correction.
