diff --git a/doc/synopsis/template.html b/doc/synopsis/template.html index a6713505d..fbbac0a2e 100644 --- a/doc/synopsis/template.html +++ b/doc/synopsis/template.html @@ -69,45 +69,59 @@ $endif$