diff -r 6769a888fd3f -r 33d229634809 Doxyfile
--- a/Doxyfile	Mon Nov 13 13:27:18 2017 +0100
+++ b/Doxyfile	Mon Nov 13 15:54:17 2017 +0100
@@ -1754,7 +1754,7 @@
 # classes and files.
 # The default value is: NO.
 
-GENERATE_MAN           = YES
+GENERATE_MAN           = NO
 
 # The MAN_OUTPUT tag is used to specify where the man pages will be put. If a
 # relative path is entered the value of OUTPUT_DIRECTORY will be put in front of