diff options
author | Einhard Leichtfuß <alguien@respiranto.de> | 2018-03-31 00:58:43 +0200 |
---|---|---|
committer | Einhard Leichtfuß <alguien@respiranto.de> | 2018-03-31 00:58:43 +0200 |
commit | e3bfbb28e8cd30c71d1d1cce0649ed7d448312f0 (patch) | |
tree | 73d7516525bc515b5935eca34135cb03b050353b /update.sh | |
parent | bbc3e4cfa5c02ad3ff8dcd3b7a95e568ac434c6f (diff) |
Add support for dict-freedict-* in make_install
Furthermore:
- Move $langs[] to basic.sh in order to be able to use it in make_install.
- Add -f to rm in cleanup() in order to prevent unforeseen errors, that
don't matter.
Diffstat (limited to 'update.sh')
-rwxr-xr-x | update.sh | 8 |
1 files changed, 0 insertions, 8 deletions
@@ -1,14 +1,6 @@ #!/bin/bash # usage: $0 dir [-u xyz-uvw|-ua|-uaf] -typeset -a langs -langs=( - fra-deu deu-fra - deu-eng eng-deu - fra-eng eng-fra - spa-eng eng-spa - ) - typeset -A long long[fra]=French long[deu]=German |