diff --git a/doc/foot.html b/doc/foot.html index 308b1d01b6..9c29ee47b3 100644 --- a/doc/foot.html +++ b/doc/foot.html @@ -1,2 +1,9 @@ +