diff options
Diffstat (limited to 'DOCS')
| -rw-r--r-- | DOCS/tech/translations.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/DOCS/tech/translations.txt b/DOCS/tech/translations.txt index 0eb4c05099..3fd8b2242d 100644 --- a/DOCS/tech/translations.txt +++ b/DOCS/tech/translations.txt @@ -95,3 +95,6 @@ it is equivalent to. If you make (spelling/wording/consistency/etc) changes to a file without adapting parts that changed in the English master file, leave the sync tag as it is. + +If you make changes to the XML documentation, doublecheck that the +documentation still builds by running make. |