diff options
-rw-r--r-- | doc/translations_po.txt | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/doc/translations_po.txt b/doc/translations_po.txt index 9862a1843..5ddf84b11 100644 --- a/doc/translations_po.txt +++ b/doc/translations_po.txt @@ -223,6 +223,12 @@ It takes German (de) as an example for the conversion. This is probably due to a change in the poxml tools since the scripts were written. + Finally: a good method, to check the result of the conversation, is to build + the text variant of the manual (build from your new po files), and compare + it against the respective text variant build from the original xml files. + Use something like "diff -u install.de.orig.pdf install.de.pdf", to see + the differences between the old xml-based and the new po-based manual. + 8) Repeat steps 5, 6 and 7 (or 4, 5 and 6). 9) After you are happy with the conversion, run |