From ec2cc68c0b2fa8b89c71279ee61a65d5f92f0267 Mon Sep 17 00:00:00 2001
From: "Todd C. Miller" <Todd.Miller@sudo.ws>
Date: Sat, 6 Oct 2018 05:39:20 -0600
Subject: [PATCH] Add igor target to run igor(1) on the manuals.

---
 doc/Makefile.in | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/doc/Makefile.in b/doc/Makefile.in
index f5a5623f6..95f78abc1 100644
--- a/doc/Makefile.in
+++ b/doc/Makefile.in
@@ -26,6 +26,7 @@ top_srcdir = @top_srcdir@
 
 # Tools to use
 SED = @SED@
+IGOR = igor
 MANDOC = @MANDOCPROG@
 MANCOMPRESS = @MANCOMPRESS@
 MANCOMPRESSEXT = @MANCOMPRESSEXT@
@@ -97,6 +98,19 @@ PACKAGE_TARNAME = @PACKAGE_TARNAME@
 
 all: $(DEVDOCS) $(DOCS)
 
+igor: all
+	@if [ "$(mantype)" != "mdoc" ]; then \
+	    echo "make igor only supported for mdoc manuals" 1>&2; \
+	    exit 1; \
+	else \
+	    rval=0; \
+	    for m in $(DOCS); do \
+		echo $(IGOR) -D $$m; \
+		$(IGOR) -D $$m || rval=`expr $$rval + $$?`; \
+	    done; \
+	    exit $$rval; \
+	fi
+
 lint: all
 	@if [ "$(mantype)" != "mdoc" ]; then \
 	    echo "make lint only supported for mdoc manuals" 1>&2; \
-- 
2.40.0