diff --git a/docs/manual/style/latex/html.xsl b/docs/manual/style/latex/html.xsl
index c941724563..26f2674b14 100644
--- a/docs/manual/style/latex/html.xsl
+++ b/docs/manual/style/latex/html.xsl
@@ -298,7 +298,7 @@ interpreted in pre -->
-
+
\footnote{
\href{