diff options
| author | Daniel Stenberg <daniel@haxx.se> | 2017-05-08 15:10:09 +0200 |
|---|---|---|
| committer | Daniel Stenberg <daniel@haxx.se> | 2017-05-08 15:11:11 +0200 |
| commit | 78007305203140162f567fd611182cfc41ac51dd (patch) | |
| tree | 22fd540a9117ee900655d136e56f63d784496cbc | |
| parent | f27c884be8c35287569b7fc909c9a2455d5e38e3 (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.am | 2 |
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) |