aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniel Stenberg <daniel@haxx.se>2017-05-08 15:10:09 +0200
committerDaniel Stenberg <daniel@haxx.se>2017-05-08 15:11:11 +0200
commit78007305203140162f567fd611182cfc41ac51dd (patch)
tree22fd540a9117ee900655d136e56f63d784496cbc
parentf27c884be8c35287569b7fc909c9a2455d5e38e3 (diff)
curl.1: depend the build on the Makefile.inc too
... to also make it update when we remove files, like we did for --environment in commit a8e388dd1095.
-rw-r--r--docs/cmdline-opts/Makefile.am2
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/cmdline-opts/Makefile.am b/docs/cmdline-opts/Makefile.am
index bcd498a1f..e6ecf7a6b 100644
--- a/docs/cmdline-opts/Makefile.am
+++ b/docs/cmdline-opts/Makefile.am
@@ -30,5 +30,5 @@ EXTRA_DIST = $(DPAGES) MANPAGE.md gen.pl $(OTHERPAGES) CMakeLists.txt
all: $(MANPAGE)
-$(MANPAGE): $(DPAGES) $(OTHERPAGES)
+$(MANPAGE): $(DPAGES) $(OTHERPAGES) Makefile.inc
@PERL@ $(srcdir)/gen.pl mainpage $(srcdir) > $(MANPAGE)