diff --git a/doc/mp11-docinfo-footer.html b/doc/mp11-docinfo-footer.html index e81781d..d4b18d1 100644 --- a/doc/mp11-docinfo-footer.html +++ b/doc/mp11-docinfo-footer.html @@ -1,6 +1,7 @@