fix gen_contents_index also when no docs (#1813548)
    
    - cronjob used to switch to /usr/share/doc/ghc/html/libraries
    - since docs now subpackaged, need to check for no docs
    
    - we could also recommend ghc-base-doc