# HG changeset patch
# User diego
# Date 1159953138 0
# Node ID 99a95a99ae35963fb02d5689fc288be22c3e2d99
# Parent  996cb6bc8e4f849ce798be25d7b8607eebe15557
Add a note about checking XML documentation build.

diff -r 996cb6bc8e4f -r 99a95a99ae35 DOCS/tech/translations.txt
--- a/DOCS/tech/translations.txt	Wed Oct 04 09:10:44 2006 +0000
+++ b/DOCS/tech/translations.txt	Wed Oct 04 09:12:18 2006 +0000
@@ -95,3 +95,6 @@
 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.