Update of patch #6262 (project pspp):
Status: Ready For Test/Review => In Progress
Summary: Start of developer's manual; cleanups => How to not
install developers guide by default?
_______________________________________________________
Follow-up Comment #5:
>I think it's a good idea to put such information into CVS, and
>perhaps into the released tarball, even if it's not complete.
Thanks. For now, I've checked this in.
>I think that developer information, whether complete or not,
>shouldn't get installed by default. It should have a seperate
>install target, eg: make install-dev-info
I don't know a way to do that with Automake. It could be approximated by
using noinst_TEXINFOS, but noinst_TEXINFOS doesn't work in Automake 1.10 (or
presumably earlier versions). I've reported this bug to bug-automake just
now.
I can think of a couple of other ways to do this, but none of them really
make me happy. Do you have a suggestion?
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/patch/?6262>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/
_______________________________________________
pspp-dev mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/pspp-dev
