diff --git a/doc/latex/proposal.tex b/doc/latex/install-lib.tex
similarity index 99%
rename from doc/latex/proposal.tex
rename to doc/latex/install-lib.tex
index cd36790..541b0a1 100644
--- a/doc/latex/proposal.tex
+++ b/doc/latex/install-lib.tex
@@ -1,4 +1,4 @@
-%% $Id: proposal.tex,v 1.4 2004/03/31 19:42:35 michel-schinz Exp $
+%% $Id: install-lib.tex,v 1.1 2004/05/22 10:41:06 michel-schinz Exp $
 
 %% TODO
 %% - clean up permissions mess