diff --git a/documentation/src/html_footer b/documentation/src/html_footer index 56490cd7d..03c6717a5 100644 --- a/documentation/src/html_footer +++ b/documentation/src/html_footer @@ -1,7 +1,7 @@