diff options
author | Daniel Stenberg <daniel@haxx.se> | 2020-03-25 23:16:28 +0100 |
---|---|---|
committer | Daniel Stenberg <daniel@haxx.se> | 2020-03-26 13:25:59 +0100 |
commit | 361d4f3fdcd613a78213f38040985fd70022055e (patch) | |
tree | a2563bf591f02f18496e7e932cc2cfc4ee6e6458 /src | |
parent | 02174e41f5c6199fb6f00b1900e1ea89821db321 (diff) |
docs/make: generate curl.1 from listed files only
Previously it rendered the page from files matching "*.d" in the correct
directory, which worked fine in git builds when the files were added but
made it easy to forget adding the files to the dist.
Now, only man page sections listed in DPAGES in Makefile.inc will be
used, thus "forcing" us to update this to get the man page right and get
it included in the dist at the same time.
Ref: #5146
Closes #5149
Diffstat (limited to 'src')
-rw-r--r-- | src/tool_help.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tool_help.c b/src/tool_help.c index 4fe9e4ce0..822f396a3 100644 --- a/src/tool_help.c +++ b/src/tool_help.c @@ -40,7 +40,7 @@ --------------------------------------------------------- cd $srcroot/docs/cmdline-opts - ./gen.pl listhelp + ./gen.pl listhelp *.d */ struct helptxt { |