1 files changed, 5 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index 770dcd53..c560d8d1 100644
--- a/Makefile
+++ b/Makefile
@@ -120,6 +120,11 @@ test:
 clean:
         @git clean -df
 
+### 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
         @rm -rf doc