diff -r 805a9f3ac748 -r 6dcb94dbd722 doc/.templates/layout.html --- a/doc/.templates/layout.html Thu Nov 13 12:34:47 2008 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,195 +0,0 @@ -{%- block doctype -%} - -{%- endblock %} -{%- set reldelim1 = reldelim1 is not defined and ' »' or reldelim1 %} -{%- set reldelim2 = reldelim2 is not defined and ' |' or reldelim2 %} -{%- macro relbar %} -
-{%- endmacro %} -{%- macro sidebar %} - {%- if builder != 'htmlhelp' %} - - {%- endif %} -{%- endmacro -%} - - - - - {%- if builder != 'htmlhelp' %} - {%- set titlesuffix = " — " + docstitle %} - {%- endif %} -