summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIan Jackson <ijackson@chiark.greenend.org.uk>2017-01-21 17:47:48 +0000
committerIan Jackson <ijackson@chiark.greenend.org.uk>2017-01-21 17:47:49 +0000
commit51389d28479120cd39e8efc3651fd041d63d3b9f (patch)
tree46c303fdbf7e0a67cd79cd3cf5d298af122f4746
parentc3c1ba424e0fb36e923f62ea4098e818ea64323f (diff)
Makefile: New %.view target:
`make dgit-maint-merge.7.view' runs `man -l ...' Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
-rw-r--r--Makefile3
-rw-r--r--debian/changelog3
2 files changed, 6 insertions, 0 deletions
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).