Skip to content
Fix the installation of the info manual
=======================================

For unknown reasons, the info manual would not install.