FS#5955 - gnokii - the man pages are not installed

Attached to Project: Arch Linux
Opened by Giorgio Lando (patroclo7) - Thursday, 07 December 2006, 21:20 GMT
Last edited by Roman Kyrylych (Romashka) - Thursday, 07 December 2006, 22:43 GMT
Task Type Bug Report
Category Packages: Extra
Status Closed
Assigned To Jan de Groot (JGC)
Architecture not specified
Severity Medium
Priority Normal
Reported Version 0.7.2 Gimmick
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No


The man pages of the package gnokii are not included in the arch package. In order to install them, the PKGBUILD should include the following line:

make DESTDIR=$startdir/pkg install-docs

This command install also docs and info files, but docs and info files are removed afterwards by makepkg, leaving only the man pages. Another solution is to install explicitly the man pages (they are in the Docs/man subdirectory in the sources).
This task depends upon

Closed by  Jan de Groot (JGC)
Thursday, 07 December 2006, 23:11 GMT
Reason for closing:  Fixed