{# warning: if doc structure change, these rules may have to change as well #} {# ===== VARIABLES ====== #} {% set master_doc_short_name = 'Developer Doc' %} {% if pagename == master_doc %}