Neil Jerram <[EMAIL PROTECTED]> writes: > However, wouldn't a better fix be to include a prebuilt > guile-procedures.txt in the distribution? If I understand correctly, > all we would need to do is > > - add guile-procedures.txt to EXTRA_DIST > > - remove the `else' branch of the `if HAVE_MAKEINFO' block. > > What do you think?
Conceptually, guile-procedures.txt is dependent on the configuration of Guile. So, strictly speaking, we can't distribute the 'right' guile-procedures.txt file. But, we can probably distribute one that is almost always right, but we have to be careful when generating it. I.e. when Guile has been configured --without-threads, guile-procedures.txt wont contain the docs for the threading functions. So, when we have a good way to create a default guile-procedures.txt, then I'd say we should distribute it. _______________________________________________ Bug-guile mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-guile