chiark / gitweb /
Makefile: New %.view target:
authorIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 21 Jan 2017 17:47:48 +0000 (17:47 +0000)
committerIan Jackson <ijackson@chiark.greenend.org.uk>
Sat, 21 Jan 2017 17:47:49 +0000 (17:47 +0000)
`make dgit-maint-merge.7.view' runs `man -l ...'

Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
Makefile
debian/changelog

index 2b5a5dc..d2a91d8 100644 (file)
--- 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 $*
index a8760fa..b8d345b 100644 (file)
@@ -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).