diff --git a/doc_src/user_doc.footer.html b/doc_src/user_doc.footer.html index 308b1d01b..0a426c57a 100644 --- a/doc_src/user_doc.footer.html +++ b/doc_src/user_doc.footer.html @@ -1,2 +1,12 @@