[pacman-dev] [arch-dev-public] info pages

Dan McGee dpmcgee at gmail.com
Sat Aug 9 13:43:41 EDT 2008

On Sat, Aug 9, 2008 at 11:00 AM, Miklos Vajna <vmiklos at frugalware.org> wrote:
> On Sat, Aug 09, 2008 at 12:12:29PM +1000, Allan McRae <allan at archlinux.org> wrote:
>> CC: pacman-dev - We should also automatically compress the info files like
>> we do the man pages.
> That should not be hard, we have this trivial commit since a while:
> http://git.frugalware.org/gitweb/gitweb.cgi?p=pacman-g2.git;a=commitdiff;h=e804504286ecdb6eee56a26bfaf7431728ff2507

Do we do something like the following, or do we hardcode the info dirs
as well? It seems odd how we laid this out looking back, where the
DOC_DIRS location is specified but not the mandirs.

diff --git a/scripts/makepkg.sh.in b/scripts/makepkg.sh.in
index c5dbed9..8feeed3 100644
--- a/scripts/makepkg.sh.in
+++ b/scripts/makepkg.sh.in
@@ -685,9 +685,10 @@ tidy_install() {

        if [ "$(check_option zipman)" = "y" ]; then
-               msg2 "$(gettext "Compressing man pages...")"
+               msg2 "$(gettext "Compressing documentation...")"
                local manpage mandirs ext file link hardlinks hl
                mandirs="usr/man usr/share/man usr/local/man
usr/local/share/man opt/*/man"
+               mandirs="$mandirs ${DOC_DIRS}"
                find ${mandirs} -type f 2>/dev/null |
                while read manpage ; do
                        # check file still exists (potentially
compressed with hard link)

More information about the pacman-dev mailing list