diff --git a/src/doc/footer.inc b/src/doc/footer.inc index 77e151235e822..0e67f233dcb50 100644 --- a/src/doc/footer.inc +++ b/src/doc/footer.inc @@ -1,5 +1,5 @@