c29499 Update `help_getOptions.sh':

Authored and Committed by areguera 13 years ago
    Update `help_getOptions.sh':
    
        - Remove `--backend' option. This option is no longer available
          through `centos-art.sh' command-line. Specification of what
          documentation backend a documentation manual uses has been moved
          to that manual's configuration file, through the
          `manual_backend' option.