diff --git a/docs/format.html.in b/docs/format.html.in index 640a9957ee..b488f7b38f 100644 --- a/docs/format.html.in +++ b/docs/format.html.in @@ -17,6 +17,7 @@