Re: Choosing not to install documentation

[Eric Blake]

-----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-----