diff options
author | Dan Fandrich <dan@coneharvesters.com> | 2015-03-18 23:21:46 +0100 |
---|---|---|
committer | Dan Fandrich <dan@coneharvesters.com> | 2015-03-18 23:44:45 +0100 |
commit | 431c5261d2f512e87d6ee6f2a0701592ee29fcdf (patch) | |
tree | 5be8e5a8ba09061978fec0c5c9587512863d958a /Makefile.am | |
parent | d260a0aeeb62ce1484ac713900a72da32e25b3d3 (diff) | |
download | curl-431c5261d2f512e87d6ee6f2a0701592ee29fcdf.tar.gz |
docs/libcurl: check that all options with man pages are referenced
If a man page exists in the opts/ directory, it must also be referenced
either in curl_easy_setopt.3 or curl_multi_setopt.3
Diffstat (limited to 'Makefile.am')
-rw-r--r-- | Makefile.am | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/Makefile.am b/Makefile.am index 29479d5ad..60d744e46 100644 --- a/Makefile.am +++ b/Makefile.am @@ -153,7 +153,7 @@ html: pdf: cd docs; make pdf -check: test examples +check: test examples check-docs if CROSSCOMPILING test-full: test @@ -181,6 +181,9 @@ endif examples: @(cd docs/examples; $(MAKE) check) +check-docs: + @(cd docs/libcurl; $(MAKE) check) + # This is a hook to have 'make clean' also clean up the docs and the tests # dir. The extra check for the Makefiles being present is necessary because # 'make distcheck' will make clean first in these directories _before_ it runs |