38ccdd Update `manual.conf' file used to build documentation manuals written

Authored and Committed by areguera 13 years ago
    Update `manual.conf' file used to build documentation manuals written
    in texinfo format:
    
        - Don't define documentation backend here. Let this for
          command-line options.