diff options
| author | Holger Wansing <hwansing@mailbox.org> | 2020-04-05 19:05:56 +0200 |
|---|---|---|
| committer | Holger Wansing <hwansing@mailbox.org> | 2020-04-05 19:05:56 +0200 |
| commit | 16f237ebc54a06e615670ca0d9ed0438d8572d76 (patch) | |
| tree | d851b244b60db7cf9202048c82222f1803cccea8 /doc/translations_po.txt | |
| parent | 3a50ed68fee2e7d433dad908ef77b4f7902f00a4 (diff) | |
| download | installation-guide-16f237ebc54a06e615670ca0d9ed0438d8572d76.zip | |
Add a script for updating all po and pot files after changings in English
Diffstat (limited to 'doc/translations_po.txt')
| -rw-r--r-- | doc/translations_po.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/translations_po.txt b/doc/translations_po.txt index 25a8e4a0e..4c75c5b87 100644 --- a/doc/translations_po.txt +++ b/doc/translations_po.txt @@ -66,6 +66,8 @@ NOTE Doing this manually may result in git conflicts when you next 'git pull' with the repository. The preferred method is to just wait until your PO files are updated for you. +Hint: For refreshing all po and pot files in one rush, one can use the +./scripts/refresh-all-po-pot-files.sh script. Building the manual yourself |