diff --git a/src/doc/footer.inc b/src/doc/footer.inc index 99bcf518fa85..54ce3fddfb4b 100644 --- a/src/doc/footer.inc +++ b/src/doc/footer.inc @@ -1,5 +1,5 @@