[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Choosing not to install documentation
From: |
Eric Blake |
Subject: |
Re: Choosing not to install documentation |
Date: |
Fri, 26 Jun 2009 11:01:04 -0600 |
User-agent: |
Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.1.22) Gecko/20090605 Thunderbird/2.0.0.22 Mnenhy/0.7.6.666 |
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
According to Alfred M. Szmidt on 6/26/2009 10:52 AM:
> >> but isn't it easier to just do `rm -rf
> >> /usr/share/doc /usr/share/man' after `make install'?
>
> Easier than having "--disable-installdocs" or the equivalent? I
> don't personally think so.
>
> You need to add --disable-installdocs to _all_ packages that use
> autoconf, this is non-trivial. A side note is that it is also the
> wrong place for such a switch, since documentation has little to do
> with configure time setups, but how one installs the package.
Is it sufficient for your use case to just teach users to use existing
functionality required by the GNU Coding Standards?
mkdir /tmp/scratch
make install mandir=/tmp/scratch docdir=/tmp/scratch
rm -Rf /tmp/scratch
- --
Don't work too hard, make some time for fun as well!
Eric Blake address@hidden
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (Cygwin)
Comment: Public key at home.comcast.net/~ericblake/eblake.gpg
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
iEYEARECAAYFAkpE/tAACgkQ84KuGfSFAYDC/wCZAUYpkx47l8i9BXG+tS+WTqAv
81wAoLkedVBkOkAeo6fp0rGxDbs7peia
=Vedh
-----END PGP SIGNATURE-----
- Choosing not to install documentation, Kirk Strauser, 2009/06/25
- Re: Choosing not to install documentation, Alfred M. Szmidt, 2009/06/25
- Re: Choosing not to install documentation, Ralf Wildenhues, 2009/06/25
- Re: Choosing not to install documentation, Alfred M. Szmidt, 2009/06/26
- Re: Choosing not to install documentation, Kirk Strauser, 2009/06/26
- Re: Choosing not to install documentation, Alfred M. Szmidt, 2009/06/26
- Re: Choosing not to install documentation,
Eric Blake <=
- Re: Choosing not to install documentation, Kirk Strauser, 2009/06/26
- Re: Choosing not to install documentation, Alfred M. Szmidt, 2009/06/26
- Re: Choosing not to install documentation, Ralf Wildenhues, 2009/06/27
- Re: Choosing not to install documentation, Steffen Dettmer, 2009/06/26
- Re: Choosing not to install documentation, Ralf Wildenhues, 2009/06/27
Re: Choosing not to install documentation, Kirk Strauser, 2009/06/26