Merge pull request #393 from ArthurHoaro/tools-js-indent

[github/shaarli/Shaarli.git] / Makefile

diff --git a/Makefile b/Makefile
index 770dcd5368a1d8196d98c2e87d5ad08a325b856c..a86f9aa8bbe8bdb0b160db7cea331ba605a3eeb0 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -110,6 +110,7 @@ test:
        @echo "-------"
        @echo "PHPUNIT"
        @echo "-------"
+       @mkdir -p sandbox
        @$(BIN)/phpunit tests
 
 ##
@@ -119,6 +120,12 @@ test:
 ### remove all unversioned files
 clean:
        @git clean -df
+       @rm -rf sandbox
+
+### generate Doxygen documentation
+doxygen: clean
+       @rm -rf doxygen
+       @( cat Doxyfile ; echo "PROJECT_NUMBER=`git describe`" ) | doxygen -
 
 ### update the local copy of the documentation
 doc: clean