diff options
| author | Daniel Stenberg <daniel@haxx.se> | 2004-04-25 08:13:07 +0000 |
|---|---|---|
| committer | Daniel Stenberg <daniel@haxx.se> | 2004-04-25 08:13:07 +0000 |
| commit | 68a3cbe38481f82e7776ddff413b832e1b41e45e (patch) | |
| tree | 43ba7c37359b14871c2cdbc7404aa58d48178320 | |
| parent | b9432d12965742ab13ed0a0f0462a9fa71e7b30d (diff) | |
make the generated hugehelp.c file use the USE_MANUAL define so that it
will be properly built with configure --disable-manual even if the source
file is already present
| -rw-r--r-- | src/Makefile.am | 5 | ||||
| -rw-r--r-- | src/mkhelp.pl | 17 |
2 files changed, 19 insertions, 3 deletions
diff --git a/src/Makefile.am b/src/Makefile.am index a83309725..c5af70251 100644 --- a/src/Makefile.am +++ b/src/Makefile.am @@ -74,7 +74,10 @@ $(HUGE): $(README) $(MANPAGE) mkhelp.pl else # HAVE_LIBZ # This generates the hugehelp.c file uncompressed only $(HUGE): $(README) $(MANPAGE) mkhelp.pl - $(NROFF) $(MANPAGE) | $(PERL) $(MKHELP) $(README) > $(HUGE) + echo '#ifdef HAVE_CONFIG_H' > $(HUGE) + echo '#include "config.h"' >> $(HUGE) + echo '#endif' >> $(HUGE) + $(NROFF) $(MANPAGE) | $(PERL) $(MKHELP) $(README) >> $(HUGE) endif else # USE_MANUAL diff --git a/src/mkhelp.pl b/src/mkhelp.pl index 3fef2bb3b..195328edf 100644 --- a/src/mkhelp.pl +++ b/src/mkhelp.pl @@ -112,6 +112,10 @@ print <<HEAD * NEVER EVER edit this manually, fix the mkhelp.pl script instead! * Generation time: $now */ +#ifdef HAVE_CONFIG_H +#include "config.h" +#endif +#ifdef USE_MANUAL #include "hugehelp.h" #include <stdio.h> HEAD @@ -179,6 +183,7 @@ void hugehelp(void) } EOF ; +foot(); exit; } else { @@ -211,5 +216,13 @@ for(@out) { } -print ", stdout) ;\n}\n" - +print ", stdout) ;\n}\n"; + +foot(); + +sub foot { + print <<FOOT +#endif /* USE_MANUAL */ +FOOT + ; +} |