9fc337 Update `manual.conf' configuration file used to write documentation

Authored and Committed by areguera 12 years ago
    Update `manual.conf' configuration file used to write documentation
    manuals in texinfo format.
    
        - Update comment.