Rename lib__future__.tex to libfuture.tex and add link in lib.tex.

diff --git a/Doc/lib/lib.tex b/Doc/lib/lib.tex
index 928371c9da3d20a4d995a73cac7f5a2919b7cf67..ba3442a7a6d51b8752b80c6820e3d963fd45d5d6 100644 (file)
--- a/Doc/lib/lib.tex
+++ b/Doc/lib/lib.tex
@@ -101,6 +101,7 @@ and how to embed it in other applications.
 \input{libuser}
 \input{libbltin}                % really __builtin__
 \input{libmain}                 % really __main__
+\input{libfuture}               % really __future__
 
 \input{libstrings}              % String Services
 \input{libstring}

diff --git a/Doc/lib/lib__future__.tex b/Doc/lib/libfuture.tex
similarity index 100%
rename from Doc/lib/lib__future__.tex
rename to Doc/lib/libfuture.tex