diff options
| -rw-r--r-- | src/Makefile.am | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index e780d3fd2..062f00908 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 |