New in this release:
Build and install TexInfo and HTML manuals.