-----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 ebb9@xxxxxxx -----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----- _______________________________________________ Autoconf mailing list Autoconf@xxxxxxx http://lists.gnu.org/mailman/listinfo/autoconf
