From 51389d28479120cd39e8efc3651fd041d63d3b9f Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 21 Jan 2017 17:47:48 +0000
Subject: Makefile: New %.view target:

`make dgit-maint-merge.7.view' runs `man -l ...'

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
---
 Makefile         | 3 +++
 debian/changelog | 3 +++
 2 files changed, 6 insertions(+)

diff --git a/Makefile b/Makefile
index 2b5a5dc..d2a91d8 100644
--- a/Makefile
+++ b/Makefile
@@ -104,3 +104,6 @@ clean distclean mostlyclean maintainer-clean:
 	pod2man --section=7 --date="Debian Project" --center="dgit" \
 		--name=$(subst .7,,$@) \
 		$^ $@
+
+%.view:	%
+	man -l $*
diff --git a/debian/changelog b/debian/changelog
index a8760fa..b8d345b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,6 +4,9 @@ dgit (3.7~) unstable; urgency=medium
   * Fix clone-dgit-repos-server and print-dgit-repos-server-print-url.
     Closes:#851906.
 
+  Internal changes:
+  * New %.view target: `make dgit-maint-merge.7.view' runs `man -l ...'
+
   Test suite:
   * defdistro-dsd-clone-drs: New test which would have detected
     #851906 (and hopefully #850521).
-- 
cgit v1.2.3