Update README

Short note about depot/ and public/ directories.
2017-08-29 11:51:35 +02:00
parent 46a98abf36
commit 3c4709fcc7
1 changed files with 8 additions and 0 deletions
--- a/8
+++ b/8
@@ -86,6 +86,14 @@ The source tree is composed of the following subdirectories:
  Source-code management tools and scripts. Please refer to the README file
  contained in the directory.

+:'depot' and 'public':
+
+  Local depot and public archive of Genode packages. Please refer to
+
+  ! doc/depot.txt
+
+  for more details.
+

 Additional community-maintained components
 ##########################################