diff --git a/src/Makefile.am b/src/Makefile.am index e780d3fd248278723db7489ef2caa27a0ed002e1..062f00908dcc485a74169452480c66d56c79186f 100644 --- 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