From 8922081233568cd263c48d5259b4f7ac9a34a53e Mon Sep 17 00:00:00 2001 From: Daniel Stenberg Date: Wed, 25 Mar 2020 23:16:28 +0100 Subject: cmdline-opts: add makefile target that compares dist with git The idea being that all *.d files should be present in the DPAGES variable in Makefile.inc as otherwise they're missing in the dist. This makefile target is not used anywhere (yet) but should possibly be added to a CI job or similar. Ref: #5146 --- docs/cmdline-opts/Makefile.am | 19 ++++++++++++++++++- 1 file changed, 18 insertions(+), 1 deletion(-) diff --git a/docs/cmdline-opts/Makefile.am b/docs/cmdline-opts/Makefile.am index e6ecf7a6b..1c782fb17 100644 --- a/docs/cmdline-opts/Makefile.am +++ b/docs/cmdline-opts/Makefile.am @@ -5,7 +5,7 @@ # | (__| |_| | _ <| |___ # \___|\___/|_| \_\_____| # -# Copyright (C) 1998 - 2017, Daniel Stenberg, , et al. +# Copyright (C) 1998 - 2020, Daniel Stenberg, , et al. # # This software is licensed as described in the file COPYING, which # you should have received as part of this distribution. The terms @@ -32,3 +32,20 @@ all: $(MANPAGE) $(MANPAGE): $(DPAGES) $(OTHERPAGES) Makefile.inc @PERL@ $(srcdir)/gen.pl mainpage $(srcdir) > $(MANPAGE) + +filecheck: + @(INC="$(DPAGES)"; \ + GIT=`git ls-files "*.d"`; \ + for f in $$GIT; do \ + found="no"; \ + for i in $$INC; do \ + if test "$$f" = "$$i"; then \ + found="yes"; \ + break; \ + fi \ + done; \ + if test "$$found" != "yes"; then \ + echo "missing in DPAGES: $$f"; \ + exit 1; \ + fi \ + done) -- cgit v1.2.1