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/bootstrap/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/bootstrap/ghc/ghc-doc-index.cron')
| -rwxr-xr-x | tools/bootstrap/ghc/ghc-doc-index.cron | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/tools/bootstrap/ghc/ghc-doc-index.cron b/tools/bootstrap/ghc/ghc-doc-index.cron new file mode 100755 index 0000000..4efe2ff --- /dev/null +++ b/tools/bootstrap/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 |