You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
10 lines
199 B
10 lines
199 B
6 years ago
|
#! /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
|