From f27f187142981dcd560994e56be55ad2feae7d41 Mon Sep 17 00:00:00 2001
From: Matthias Koefferlein <matthias@koefferlein.de>
Date: Tue, 3 Oct 2017 17:52:01 +0200
Subject: [PATCH] Updated doc.

---
 src/lay/lay/doc/about/packages.xml | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/src/lay/lay/doc/about/packages.xml b/src/lay/lay/doc/about/packages.xml
index dd2a7f156..26902a7f1 100644
--- a/src/lay/lay/doc/about/packages.xml
+++ b/src/lay/lay/doc/about/packages.xml
@@ -184,8 +184,15 @@
     &lt;icon&gt;Icon image: base64-encoded, 64x64 max, PNG preferred&lt;/icon&gt;
   &lt;/salt-grain&gt;
   ...
+  &lt;include&gt;URL to include other index files into this one&lt;/include&gt;
+  ...
 &lt;/salt-mine&gt;</pre>
 
+  <p>
+  You can include other repositories - specifically the default one - into a 
+  custom XML file. This allows extending the public index with local packages.
+  </p>
+
   <p>
   When the package manager is opened, KLayout will download the index from 
   <tt>http://sami.klayout.org/repository.xml</tt>. You can set the <tt>KLAYOUT_SALT_MINE</tt>