diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-02-09 00:07:44 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2017-02-09 00:08:27 +0100 |
| commit | b87a232668d9f9f3b32c2fceb60bc5f6ef46df22 (patch) | |
| tree | 40bf3a8b94fbca24f9bf144e4ac9eee7f3c011d0 /tools/translations/Makefile | |
| parent | b19c9bd1983b8c72621595b7c22daade4ebf6625 (diff) | |
Reorder the folders in tools to prepare moving tools/editor
- `certs` and `editor_fonts` go to `thirdparty`
- `dist` and `scripts` go to a new `misc` folder
- `collada` and `doc` go to `tools/editor`
The next step will be to rename `tools/editor` to `editor` directly,
but this will be done at the right time to avoid breaking too many PRs.
Diffstat (limited to 'tools/translations/Makefile')
| -rw-r--r-- | tools/translations/Makefile | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/tools/translations/Makefile b/tools/translations/Makefile deleted file mode 100644 index bea20e877d..0000000000 --- a/tools/translations/Makefile +++ /dev/null @@ -1,20 +0,0 @@ -# Makefile providing various facilities to manage translations - -TEMPLATE = tools.pot -POFILES = $(wildcard *.po) -LANGS = $(POFILES:%.po=%) - -all: update merge - -update: - @cd ../..; python2 tools/translations/extract.py - -merge: - @for po in $(POFILES); do \ - echo -e "\nMerging $$po..."; \ - msgmerge -w 79 -C $$po $$po $(TEMPLATE) > "$$po".new; \ - mv -f "$$po".new $$po; \ - done - -check: - @for po in $(POFILES); do msgfmt -c $$po -o /dev/null; done |