[Pkg-zsh-devel] Bug#961757: zsh-doc: Please install the FAQ

Daniel Shahaf danielsh at apache.org
Thu May 28 22:18:38 BST 2020


Package: zsh-doc
Version: 5.8-4
Severity: wishlist

Dear Maintainer,

Please consider building and installing the upstream FAQ as well.

Currently, the following get installed:

usr/share/doc/zsh-common/html/The-Zsh-FAQ.html
usr/share/doc/zsh-common/META-FAQ

But neither of these is the FAQ.  The first one is a section in the
zsh(1) man page; the latter is the META-FAQ, generated from
Doc/META-FAQ.yo, as opposed to the FAQ, which is generated from,
Etc/FAQ.yo.

The following seems to do the trick, but I suspect a change to
debian/zsh-doc.doc-base is needed as well.

diff --git a/debian/rules b/debian/rules
index 557d0ee..a1b6bc3 100755
--- a/debian/rules
+++ b/debian/rules
@@ -63,6 +63,7 @@ build-static:
 
 override_dh_auto_build-indep:
 	dh_auto_build -B obj -- pdf
+	$(MAKE) -C obj/Etc # FAQ
 
 override_dh_auto_test-arch:
 	if dpkg-architecture -qDEB_BUILD_ARCH_OS | grep -qv hurd; then \
diff --git a/debian/zsh-doc.docs b/debian/zsh-doc.docs
index 60cb238..1611c61 100644
--- a/debian/zsh-doc.docs
+++ b/debian/zsh-doc.docs
@@ -1 +1,2 @@
 obj/Doc/zsh.pdf
+obj/Etc/FAQ*

With this, the following are also built and installed:

usr/share/doc/zsh-common/FAQ06.html
usr/share/doc/zsh-common/FAQ05.html
usr/share/doc/zsh-common/FAQ04.html
usr/share/doc/zsh-common/FAQ03.html
usr/share/doc/zsh-common/FAQ02.html
usr/share/doc/zsh-common/FAQ01.html
usr/share/doc/zsh-common/FAQ.html
usr/share/doc/zsh-common/FAQ.gz

Cheers,

Daniel



More information about the Pkg-zsh-devel mailing list