diff options
author | Jens Petersen <petersen@redhat.com> | 2014-02-11 22:06:01 +0900 |
---|---|---|
committer | Jens Petersen <petersen@redhat.com> | 2014-02-11 22:06:01 +0900 |
commit | 3f80e38a43b3cfb328490259c15418ab51c774c1 (patch) | |
tree | 083d6cb556f41b64308d1b4a9a1f904590af8302 /tools/ghc/ghc-doc-index.cron | |
parent | 02714f7f0c6fc2abc45fa4332c69f0645e327502 (diff) | |
download | pandoc-standalone-3f80e38a43b3cfb328490259c15418ab51c774c1.tar.gz pandoc-standalone-3f80e38a43b3cfb328490259c15418ab51c774c1.tar.xz pandoc-standalone-3f80e38a43b3cfb328490259c15418ab51c774c1.zip |
tools: import spec files of all packages needed to build pandoc
Diffstat (limited to 'tools/ghc/ghc-doc-index.cron')
-rwxr-xr-x | tools/ghc/ghc-doc-index.cron | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tools/ghc/ghc-doc-index.cron b/tools/ghc/ghc-doc-index.cron new file mode 100755 index 0000000..4efe2ff --- /dev/null +++ b/tools/ghc/ghc-doc-index.cron @@ -0,0 +1,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 |