diff --git a/src/structure/options.html.in b/src/structure/options.html.in index 568a42ab7..4cd4ebac9 100644 --- a/src/structure/options.html.in +++ b/src/structure/options.html.in @@ -8,6 +8,10 @@