3 Commits (712ef6ba2a7e2afa668977a73d72b1d62207d7c6)

Author	SHA1	Message	Date
Jens Petersen	04b53a4dd9	simplify ghc-gen_contents_index-cron-batch.patch case context	3 years ago
Jens Petersen	afb7c9827e	fix ghc-gen_contents_index-cron-batch.patch so that it applies	3 years ago
Jens Petersen	60d9f57f31	add a cronjob for haddock indexing and disable gen_contents_index by default ... gen_contents_index is run with --batch by cronjob, otherwise does nothing. This avoids overhead of running of re-indexing each time a ghc-*-devel package is installed, updated, or removed.	3 years ago