Makefile: New %.view target:

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

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

diff --git a/Makefile b/Makefile
index 2b5a5dca288f32053864bbfe7802171c8cd511b8..d2a91d83f423f370bff03da2191a240767d6d5a5 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,,$@) \
                $^ $@
        pod2man --section=7 --date="Debian Project" --center="dgit" \
                --name=$(subst .7,,$@) \
                $^ $@

+
+%.view:        %
+       man -l $*

diff --git a/debian/changelog b/debian/changelog
index a8760fa03c33944e252485e5bbf82e50a9400963..b8d345b4e26e86e35117b80328dd19d827208115 100644 (file)
--- 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.
 
   * 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).
   Test suite:
   * defdistro-dsd-clone-drs: New test which would have detected
     #851906 (and hopefully #850521).