1 Commits

Author	SHA1	Message	Date
Jens Petersen	0be02c427b	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	2020-04-09 19:03:57 +08:00