diff --git a/src/doc/footer.inc b/src/doc/footer.inc index b5eb589eb53..99bcf518fa8 100644 --- a/src/doc/footer.inc +++ b/src/doc/footer.inc @@ -1,5 +1,5 @@