[Pkg-mpd-commits] [SCM] Git repository for pkg-mpd branch, master, updated. debian/0.17.1-1-34-g0e8e443

[Florian Schlichting]

The following commit has been merged in the master branch:
commit 2b7d07ca6d56a39e6ab1b3fb955810e45468644f
Author: Florian Schlichting <fschlich at zedat.fu-berlin.de>
Date:   Fri Feb 22 22:17:48 2013 +0100

    generate and install user-manual.html

diff --git a/debian/mpd.doc-base b/debian/mpd.doc-base
new file mode 100644
index 0000000..dca3471
--- /dev/null
+++ b/debian/mpd.doc-base
@@ -0,0 +1,7 @@
+Document: mpd
+Title: MPD user manual
+Section: Sound
+
+Format: HTML
+Index: /usr/share/doc/mpd/user-manual.html
+Files: /usr/share/doc/mpd/*.html
diff --git a/debian/mpd.docs b/debian/mpd.docs
index 62deb04..4856e8c 100644
--- a/debian/mpd.docs
+++ b/debian/mpd.docs
@@ -1 +1,2 @@
 AUTHORS
+user-manual.html
diff --git a/debian/rules b/debian/rules
index 7fc9d51..340c0e9 100755
--- a/debian/rules
+++ b/debian/rules
@@ -37,6 +37,12 @@ override_dh_auto_configure:
 		--prefix=/usr \
 		--sysconfdir=/etc
 
+override_dh_auto_build:
+	dh_auto_build
+	# from the available documentation, generate just the user manual, as one html file
+	/usr/bin/xmlto --stringparam chunker.output.encoding=utf-8 html-nochunks $(CURDIR)/doc/user.xml
+	mv user.html user-manual.html
+
 override_dh_strip:
 	dh_strip  --dbg-package=mpd-dbg
 

-- 
Git repository for pkg-mpd