Arch Linux

Please read this before reporting a bug:
https://wiki.archlinux.org/title/Bug_reporting_guidelines

Do NOT report bugs when a package is just outdated, or it is in the AUR. Use the 'flag out of date' link on the package page, or the Mailing List.

REPEAT: Do NOT report bugs for outdated packages!
Tasklist

FS#31603 - [zsh] include info pages (patch attached)

Attached to Project: Arch Linux
Opened by Moritz Bunkus (mbunkus) - Tuesday, 18 September 2012, 22:05 GMT
Last edited by Pierre Schmitz (Pierre) - Saturday, 02 November 2013, 22:48 GMT
Task Type Feature Request
Category Packages: Extra
Status Closed
Assigned To Pierre Schmitz (Pierre)
Architecture All
Severity Very Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 1
Private No

Details

Description:
The zsh package installs the man pages but not the info pages. The attached patch remedies this by building, installing and registering them with "install-info". It also bumps the pkgrel variable.

Additional info:
* zsh 5.0.0-2
   zsh-include-info-v1.patch (1.6 KiB)
This task depends upon

Closed by  Pierre Schmitz (Pierre)
Saturday, 02 November 2013, 22:48 GMT
Reason for closing:  Won't implement
Comment by Moritz Bunkus (mbunkus) - Monday, 10 June 2013, 12:45 GMT
  • Field changed: Percent Complete (100% → 0%)
You closed with reason "implemented". However, the current zsh package 5.0.2 does not include the info pages, nor do the PKGBUILD and zsh.install files contain this patch.
Comment by Jan de Groot (JGC) - Monday, 10 June 2013, 12:46 GMT
The info pages have been removed because they were broken:
https://bugs.gentoo.org/show_bug.cgi?id=464122

Upstream has patches for these (mentioned in gentoo bugreport, probably they have an all-in-one patch for this also), so I don't know why they were removed instead of fixed.
Comment by Pierre Schmitz (Pierre) - Monday, 10 June 2013, 12:49 GMT
I don't see the point of adding these info pages. They are not installed by default and have the same content as the man pages. Install zsh-doc to have the documentation in several different formats.
Comment by Moritz Bunkus (mbunkus) - Monday, 10 June 2013, 17:11 GMT
@Jan de Groot: Looking at the gentoo bug entry it seems that their patches were merged upstream on 2013-04-12. The latest zsh release dates from before that, so here's hoping the next official release can be built again with current texinfo. Please consider re-adding the info pages then.

@Pierre Schmitz: There is no package called 'zsh-doc', neither in the official repo nor in the AUR. Of course I can create one myself, but as the patch had been accepted once I was hoping to have it included again. The point of using info pages instead of man pages is that the information is much more accessible with the usual info browsing tools ('info' and 'emacs' for me): hyperlinked content, not spread over > 10 different files which I have to open one at a time if I don't find what I'm looking for etc. etc.

Loading...