Fix the installation of the info manual ======================================= For unknown reasons, the info manual would not install.
Fix the installation of the info manual ======================================= For unknown reasons, the info manual would not install.