# HG changeset patch # User Louis Opter # Date 1269538966 -3600 # Node ID b6cf3e38343e6445fd5359dd53367576d027544e # Parent 939b2b9901f38cabcbeca83cdcdc7747263b31d1 Remove old generated files before moving diff -r 939b2b9901f3 -r b6cf3e38343e doxyhook.py --- a/doxyhook.py Thu Mar 25 18:26:42 2010 +0100 +++ b/doxyhook.py Thu Mar 25 18:42:46 2010 +0100 @@ -102,6 +102,8 @@ def move_doc(source, dest): """Move the doc from source to dest""" + if os.path.isdir(dest): + shutil.rmtree(dest) shutil.move(source, dest) def hook(ui, repo, hooktype, **kwargs):