blob: 4efe2ffd271816e2808fb4717361642d02c2bb2a (
plain)
1
2
3
4
5
6
7
8
9
|
#! /bin/bash
# updates the library documentation index after updates
# This can be disabled by uninstalling ghc-doc-index
# or adding ghc-doc-index to "./jobs-deny".
/usr/bin/ghc-doc-index
exit 0
|