summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorDaniel Stenberg <daniel@haxx.se>2020-03-25 23:16:28 +0100
committerDaniel Stenberg <daniel@haxx.se>2020-03-25 23:16:28 +0100
commit8922081233568cd263c48d5259b4f7ac9a34a53e (patch)
tree4c3e52b25f6fe5581f965668de16b07fdb1a0739
parentc4c0b04585c1536449cc94d69daf8eb02396f5ea (diff)
downloadcurl-bagder/manpage-check.tar.gz
cmdline-opts: add makefile target that compares dist with gitbagder/manpage-check
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
-rw-r--r--docs/cmdline-opts/Makefile.am19
1 files changed, 18 insertions, 1 deletions
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, <daniel@haxx.se>, et al.
+# Copyright (C) 1998 - 2020, Daniel Stenberg, <daniel@haxx.se>, 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)