diff --git a/docs/src/_includes/layouts/doc.html b/docs/src/_includes/layouts/doc.html index d80e19fb304..941a880db5e 100644 --- a/docs/src/_includes/layouts/doc.html +++ b/docs/src/_includes/layouts/doc.html @@ -34,6 +34,17 @@

Further Reading

{% set all_content = [all_content, further_reading_content] | join %} {% endif %} + + {% if rule_type %} + {% set resources_content %} +

Resources

+ + {% endset %} + {% set all_content = [all_content, resources_content] | join %} + {% endif %}