`make dgit-maint-merge.7.view' runs `man -l ...'
Signed-off-by: Ian Jackson <ijackson@chiark.greenend.org.uk>
pod2man --section=7 --date="Debian Project" --center="dgit" \
--name=$(subst .7,,$@) \
$^ $@
+
+%.view: %
+ man -l $*
* 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).