[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