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 /user-config.default.bash | |
| 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 'user-config.default.bash')
0 files changed, 0 insertions, 0 deletions