3 Commits (de9d772c9c3c06ab1a5cd036b88f15ce1f8c6499)

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