diff options
| author | Ricardo Wurmus <rekado@elephly.net> | 2019-07-21 12:30:44 +0200 |
|---|---|---|
| committer | Ricardo Wurmus <rekado@elephly.net> | 2019-07-21 13:11:39 +0200 |
| commit | 64bf6d70099c59ea442bf1641caaab8ad03ce9cd (patch) | |
| tree | 7704da71442805deb0c0657fcee36c938d324a86 /assets/js | |
| parent | caa127d37e9e682a461b0d628b58eb80e074c792 (diff) | |
scripts: Regularly index the mail directory.
* configure.ac: Detect mu.
* guix.scm: Add "mu" to the environment.
* mumi/config.scm.in (%config)[mu-executable]: Add it.
* scripts/mumi.in: Spawn "mu index" regularly.
Diffstat (limited to 'assets/js')
0 files changed, 0 insertions, 0 deletions