diff options
| author | Daniel Stenberg <daniel@haxx.se> | 2017-03-13 08:01:27 +0100 |
|---|---|---|
| committer | Daniel Stenberg <daniel@haxx.se> | 2017-03-13 08:01:27 +0100 |
| commit | c25e0761d0fc49c415417c4bc527fb1c69300825 (patch) | |
| tree | b855322b98fc0ae444700a189caa0da2a8b2e6cf /docs | |
| parent | db900ab7328706b7ad8ce18ea8c459ffcd7bb216 (diff) | |
make: regenerate docs/curl.1 by runinng make in docs
... previously, docs/ was only a dist subdir, now also a build subdir.
Reported-by: Dan Fandrich
Bug: https://curl.haxx.se/mail/lib-2017-03/0017.html
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/Makefile.am | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/docs/Makefile.am b/docs/Makefile.am index eee44d875..98ea29310 100644 --- a/docs/Makefile.am +++ b/docs/Makefile.am @@ -30,7 +30,8 @@ MANDISTPAGES = curl.1.dist curl-config.1.dist HTMLPAGES = $(GENHTMLPAGES) index.html -SUBDIRS = examples libcurl cmdline-opts +SUBDIRS = libcurl cmdline-opts +DIST_SUBDIRS = $(SUBDIRS) examples CLEANFILES = $(GENHTMLPAGES) $(PDFPAGES) $(MANDISTPAGES) curl.1 |