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 /src/mkhelp.pl | |
| 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
Diffstat (limited to 'src/mkhelp.pl')
| -rw-r--r-- | src/mkhelp.pl | 17 |
1 files changed, 15 insertions, 2 deletions
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 + ; +} |