diff --git a/doc/proposal.txt b/doc/proposal.txt
index 028b670..4c56134 100644
--- a/doc/proposal.txt
+++ b/doc/proposal.txt
@@ -121,7 +121,9 @@ Currently, the following abstract locations are defined:
 
   lib
 
-    Location containing platform-dependent libraries.
+    Location containing platform-dependent files, like shared
+    libraries. This location contains one sub-directory per platform
+    for which packages have been installed, and nothing else.
 
   doc
 
@@ -530,4 +532,4 @@ Package loading script
 
 * Version
 
-$Id: proposal.txt,v 1.2 2003/12/16 22:16:43 michel-schinz Exp $
+$Id: proposal.txt,v 1.3 2003/12/21 20:43:39 michel-schinz Exp $