[PATCH] doc/make.py clean don't fail if directories are missing

Hello,
while preparing a test debian pacakge with mpl 1.0rc1, I noticed
doc/make.py clean fails if the directories to remove are missing.

The simple attached patch (svn diff against trunk@...864...) resolves it;
it might also be nice to wrap the os.remove() calls below in a try: ..
except OSError: pass instead of checking existence, to avoid race
conditions and so (it's easier to ask for forgiveness than
permission).

Regards,

mpl_doc_clean_dont_fail.diff (565 Bytes)

···

--
Sandro Tosi (aka morph, morpheus, matrixhasu)
My website: http://matrixhasu.altervista.org/
Me at Debian: http://wiki.debian.org/SandroTosi

Thanks, committed as r8481.

···

On 07/01/2010 10:24 AM, Sandro Tosi wrote:

Hello,
while preparing a test debian pacakge with mpl 1.0rc1, I noticed
doc/make.py clean fails if the directories to remove are missing.

The simple attached patch (svn diff against trunk@...864...) resolves it;