[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Building without makeinfo
|
From: |
Neil Jerram |
|
Subject: |
Building without makeinfo |
|
Date: |
08 Mar 2002 17:50:24 +0000 |
|
User-agent: |
Gnus/5.0808 (Gnus v5.8.8) Emacs/20.7 |
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
- Building without makeinfo,
Neil Jerram <=