Re bug number 8 `install requires makeinfo'...
I know we've already addressed this partially in Makefile.am, by
copying guile-procedures.texi to guile-procedures.txt if makeinfo is
not available.
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?
Neil
_______________________________________________
Bug-guile mailing list
[EMAIL PROTECTED]
http://mail.gnu.org/mailman/listinfo/bug-guile
