f6ebb90
#! /bin/bash
be3e3d6
# updates the library documentation index after updates
f6ebb90
be3e3d6
# This can be disabled by uninstalling ghc-doc-index
be3e3d6
# or adding ghc-doc-index to "./jobs-deny".
f6ebb90
be3e3d6
/usr/bin/ghc-doc-index
f6ebb90
f6ebb90
exit 0