PS >> I also read libsrc/Makefile.am : can't the file listed in >> EXTRA_DIST be put in the various *_DOTHS? > > I could rename that variable as (say) extra_includes and add it to the > DOTHS list. They are not header files though. >
The files listed in EXTRA_DIST are needed when building the library, but not in useing the library. So they need to be in the distributed files, but need not be noticed by "make install". I'll leave them as they are. John -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org