diff --git a/doc/proposal.txt b/doc/proposal.txt
index f7cd64e..522a96d 100644
--- a/doc/proposal.txt
+++ b/doc/proposal.txt
@@ -152,6 +152,11 @@ Currently, the following abstract locations are defined:
         file called "<package>.ps" where "<package>" is the name of
         the package.
 
+      text/
+
+        Directory containing the raw textual documentation of the
+        package, if any.
+
   misc-shared
 
     Location containing miscellaneous data which does not belong to
@@ -531,4 +536,4 @@ Package loading script
 
 * Version
 
-$Id: proposal.txt,v 1.4 2003/12/21 21:01:26 michel-schinz Exp $
+$Id: proposal.txt,v 1.5 2004/02/01 17:23:38 michel-schinz Exp $