2012-11-16 07:57:46 +00:00
|
|
|
#! /bin/bash
|
2012-11-21 07:55:59 +00:00
|
|
|
# updates the library documentation index after updates
|
2012-11-16 07:57:46 +00:00
|
|
|
|
2012-11-21 07:55:59 +00:00
|
|
|
# This can be disabled by uninstalling ghc-doc-index
|
|
|
|
|
# or adding ghc-doc-index to "./jobs-deny".
|
2012-11-16 07:57:46 +00:00
|
|
|
|
2012-11-21 07:55:59 +00:00
|
|
|
/usr/bin/ghc-doc-index
|
2012-11-16 07:57:46 +00:00
|
|
|
|
|
|
|
|
exit 0
|
