[CEDET-devel] Re: Installing CEDET Info files

[drkm <dar...@ya...>]

David PONCE writes:

> Maybe we could just pre-build the "info" directory, for people who
> don't have a makeinfo command installed?

  For a release version, it seems to make sense.

--drkm