diff --git a/src/doc/footer.inc b/src/doc/footer.inc index b5eb589eb5398..54ce3fddfb4b7 100644 --- a/src/doc/footer.inc +++ b/src/doc/footer.inc @@ -1,5 +1,5 @@