rpms/ghc - ghc - InferitOS git server

Commit Graph

Author	SHA1	Message	Date
Jens Petersen	c93451f1f5	move package cache file for doc cronjob to /var (#664850 ) Also cache long listing to notice library rebuilds.	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

Author

SHA1

Message

Date

Jens Petersen

c93451f1f5

move package cache file for doc cronjob to /var (#664850 )

Also cache long listing to notice library rebuilds.

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.

2 Commits (1ed3ce3d594fe7cf10d4a097393ac2c98344806c)