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.