mirror of
https://github.com/curl/curl.git
synced 2026-08-26 00:23:32 +03:00
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
This commit is contained in:
parent
d260a0aeeb
commit
431c5261d2
2 changed files with 19 additions and 2 deletions
|
|
@ -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
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue