File tree Expand file tree Collapse file tree 1 file changed +12
-0
lines changed Expand file tree Collapse file tree 1 file changed +12
-0
lines changed Original file line number Diff line number Diff line change @@ -451,11 +451,23 @@ check-genfile-add-docs-man: $(recover_side_effects)
451451 fi ; \
452452 }
453453
454+ .PHONY : check-genfile-docs-man-pages-rst
455+ check-genfile-docs-man-pages-rst : $(recover_side_effects )
456+ $(chkgen_verbose ) for f in $$ ( (cd docs/man; git ls-files .) | grep ctags-lang- ); do \
457+ if ! grep -q $$ f docs/man-pages.rst; then \
458+ $(cgerr ) " $$ f is not found in docs/man-pages.rst" ; \
459+ $(cgerr ) " Please add $$ f to docs/man-pages.rst" ; \
460+ exit 1; \
461+ fi ; \
462+ done ; \
463+ $(cgok ) " docs/man-pages.rst includes all ctags-lang-*.rst"
464+
454465check-genfile : \
455466 check-genfile-optlib2c-srcs \
456467 check-genfile-txt2cstr-srcs \
457468 check-genfile-update-docs \
458469 check-genfile-add-docs-man \
470+ check-genfile-docs-man-pages-rst \
459471 check-genfile-win32
460472
461473#
You can’t perform that action at this time.
0 commit comments