When the built-in manual is disabled, we generate a function doing nothing

just to avoid making a totally empty file. Just to avoid compiler warnings.

diff --git a/src/Makefile.am b/src/Makefile.am
index e780d3f..062f009 100644 (file)
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -78,5 +78,7 @@ endif
 else # USE_MANUAL
 # built-in manual has been disabled, make a blank file
 $(HUGE):
-       echo "/* explicitly disabled */" >$(HUGE)
+       echo "/* built-in manual is disabled, blank function */" > $(HUGE)
+       echo '#include "hugehelp.h"' >> $(HUGE)
+       echo "void hugehelp(void) {}" >>$(HUGE)
 endif