debian-packaging
/
linux
8
0
Fork 0
Code Releases Activity

DocBook: Fix duplicate man pages (v2) 

svn path=/dists/trunk/linux/; revision=22813
This commit is contained in:
Ben Hutchings 2015-07-08 01:01:30 +00:00
parent eb4b510b6d
commit fe2e97b36c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
debian/patches/bugfix/all/docbook-fix-duplicate-man-pages.patch vendored
View File

@ -34,8 +34,8 @@ Signed-off-by: Ben Hutchings <ben@decadent.org.uk>
MAN := $(patsubst %.xml, %.9, $(BOOKS))
mandocs: $(MAN)
+ @dups=$(sed -n 's/.*<refname>\([^<]*\)<\/refname>.*/\1/p' \
+ $(patsubst %, %.noextra, $(BOOKS)))| sort | uniq -d); \
+ @dups=$$(sed -n 's/.*<refname>\([^<]*\)<\/refname>.*/\1/p' \
+ $(obj)/*.xml.noextra | sort | uniq -d); \
+ if [ -n "$$dups" ]; then \
+ echo >&2 "The following manual pages are generated more than once:"; \
+ printf >&2 '%s\n' "$$dups"; \