Fixed latex2html weirdness with footnotes.
diff --git a/Doc/lib/libobjs.tex b/Doc/lib/libobjs.tex
index 8668eff..d19697b 100644
--- a/Doc/lib/libobjs.tex
+++ b/Doc/lib/libobjs.tex
@@ -6,8 +6,8 @@
symbol table. This table is searched last when the interpreter looks
up the meaning of a name, so local and global
user-defined names can override built-in names. Built-in types are
-described together here for easy reference.%
-\footnote{Most descriptions sorely lack explanations of the exceptions
+described together here for easy reference.\footnote{
+ Most descriptions sorely lack explanations of the exceptions
that may be raised --- this will be fixed in a future version of
this manual.}
\indexii{built-in}{types}