diff options
| -rw-r--r-- | docs/CommandGuide/Makefile | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/docs/CommandGuide/Makefile b/docs/CommandGuide/Makefile index a2953512b8..cf77e6a33d 100644 --- a/docs/CommandGuide/Makefile +++ b/docs/CommandGuide/Makefile @@ -23,6 +23,12 @@ all:: html man ps clean: rm -f pod2htm*.*~~ $(HTML) $(MAN) $(PS) + +# To create other directories, as needed, and timestamp their creation +%/.dir: + -mkdir $* > /dev/null + date > $@ + else # Otherwise, if not in BUILD_FOR_WEBSITE mode, use the project info. |