Neil Jerram <[EMAIL PROTECTED]> writes: > > I think that means it can be certainly be removed from BUILT_SOURCES.
Beaut, I did that. > It probably doesn't need to be built automatically at all; a developer > can do "make guile.texi" when they need it. Sticking it in "nodist_noinst_DATA = guile.texi" seems to work to get it built under "make all", if you still want it. If normal users don't need it then maybe it should be restricted to "if ENABLE_MAINTAINER_MODE" though. _______________________________________________ Bug-guile mailing list Bug-guile@gnu.org http://lists.gnu.org/mailman/listinfo/bug-guile