On 07/27/2011 04:42 PM, Michael Roth wrote:
"Delete all files in the current directory (or created by this
makefile) that are created by configuring or building the program. If
you have unpacked the source and built the program without creating
any other files, ‘make distclean’ should leave only the files that
were in the distribution. However, there is no need to delete parent
directories that were created with ‘mkdir -p’, since they could have
existed anyway. "
Now, if everyone agrees that "distclean" is fine as it is, I won't
insist on anything.
I'm with you in that distclean to me reads as "make clean for
re-distribution". i.e. a pristine source tree.
It should be like that _as long as you rerun make distclean before every
reconfiguration_.
Paolo
