If the EMPTY_DIRS timestamps get out of sync, don't flip out ;).
authorW. Trevor King <wking@drexel.edu>
Sat, 3 Apr 2010 21:56:42 +0000 (17:56 -0400)
committerW. Trevor King <wking@drexel.edu>
Sat, 3 Apr 2010 21:56:42 +0000 (17:56 -0400)
commitd82db6e1afe0c31eab5efde3bcf98358b13cb7f2
tree6ccca6bbfd9d23cce4dfaea712442c0b4eb6acd7
parent28464adc16b70bc0972969828034d5806a8bf522
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.
html/Makefile