[patch #6262] How to not install developers guide by default?

[Ben Pfaff]

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/