{% if display_toc %} {# TODO: Must regenerate ``doc`` in build proc. #} {% endif %}