[gnome-devel-docs] License dev-translate-tools

[Ekaterina Gerasimova <kat src gnome org>]

commit 21feffc37f83f69005600934e37efe505ac184fa
Author: Ekaterina Gerasimova <kat collabora co uk>
Date:   Wed Jan 27 17:17:00 2016 +0100

    License dev-translate-tools
    
    Signed-off-by: Michael Hill <mdhill gnome org>

 platform-overview/C/dev-translate-tools.page |    2 ++
 1 files changed, 2 insertions(+), 0 deletions(-)
---
diff --git a/platform-overview/C/dev-translate-tools.page b/platform-overview/C/dev-translate-tools.page
index 85572d5..44dce0b 100644
--- a/platform-overview/C/dev-translate-tools.page
+++ b/platform-overview/C/dev-translate-tools.page
@@ -12,6 +12,8 @@
       <years>2013</years>
     </credit>
 
+    <include href="legal.xml" xmlns="http://www.w3.org/2001/XInclude"/>
+
     <desc></desc>
   </info>