diff --git a/docs/docs.html b/docs/docs.html index 94826ffde8..ad944f6303 100644 --- a/docs/docs.html +++ b/docs/docs.html @@ -4627,8 +4627,18 @@ For example, <section> should be wrapped as inline. {% highlight html linenos %}
<section>
...