diff --git a/Doc/lib/lib.tex b/Doc/lib/lib.tex
index 928371c..ba3442a 100644
--- a/Doc/lib/lib.tex
+++ b/Doc/lib/lib.tex
@@ -101,6 +101,7 @@
 \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