If the EMPTY_DIRS timestamps get out of sync, don't flip out ;).

For example, if you edit html/Makefile after EMPTY_DIRS creation,
the Makefile timestamp will be newer than the EMPTY_DIRS', so it
will try and recreate them.  The "-p" option allows it to not fail
in the case that they already exist.

diff --git a/html/Makefile b/html/Makefile
index e5db22278d03eafe0197c0d0ade2a800691f82bf..14284b010a2bb68fa45db7cdcc15479aa1c39078 100644 (file)
--- a/html/Makefile
+++ b/html/Makefile
@@ -43,7 +43,7 @@ install-source : $(DIST_FILE) install-html
 
 # Create empty directories if neccessary (Git doesn't track dirs)
 $(EMPTY_DIRS) :
-       mkdir $@
+       mkdir -p $@
 
 $(DEEP_EMPTY_DIRS) : $(EMPTY_DIRS)
-       mkdir $@
+       mkdir -p $@