File tree Expand file tree Collapse file tree 1 file changed +18
-0
lines changed Expand file tree Collapse file tree 1 file changed +18
-0
lines changed Original file line number Diff line number Diff line change @@ -434,10 +434,28 @@ if BUILD_IN_GIT_REPO
434434 fi
435435endif
436436
437+ .PHONY : check-genfile-add-docs-man
438+ check-genfile-add-docs-man : $(recover_side_effects )
439+ $(chkgen_verbose ) {\
440+ (cd man; git ls-files .) | grep ctags-lang- | sed -e ' s/\.in$$//' > TEMP-MAN-LS; \
441+ (cd docs/man; git ls-files .) | grep ctags-lang- > TEMP-DOCS-MAN-LS; \
442+ if ! diff TEMP-MAN-LS TEMP-DOCS-MAN-LS; then \
443+ $(cgerr ) ' See "<" lines above.' ; \
444+ $(cgerr ) ' docs/man/*rst genereated from man/*rst.in are not in the git repo' ; \
445+ $(cgerr ) ' Please add the genereated file to the git repo' ; \
446+ rm TEMP-MAN-LS TEMP-DOCS-MAN-LS; \
447+ exit 1 ; \
448+ else \
449+ rm TEMP-MAN-LS TEMP-DOCS-MAN-LS; \
450+ $(cgok ) ' All rst files under docs/man are in our git repo' ; \
451+ fi ; \
452+ }
453+
437454check-genfile : \
438455 check-genfile-optlib2c-srcs \
439456 check-genfile-txt2cstr-srcs \
440457 check-genfile-update-docs \
458+ check-genfile-add-docs-man \
441459 check-genfile-win32
442460
443461#
You can’t perform that action at this time.
0 commit comments