equal
deleted
inserted
replaced
30 f.close() |
30 f.close() |
31 content = publish_parts(rst_data, writer_name='html', settings_overrides=overrides)['html_body'] |
31 content = publish_parts(rst_data, writer_name='html', settings_overrides=overrides)['html_body'] |
32 return content |
32 return content |
33 |
33 |
34 def get_topmenue(): |
34 def get_topmenue(): |
35 menue = [('/eskp', _(u'ESKP')), |
35 menue = [ |
36 ('/ozoneloss', _(u'Ozoneloss')), |
36 ('/ozoneloss', _(u'Ozoneloss')), |
37 ('/iek-7', _(u'IEK-7')), |
37 ('/eskp', _(u'ESKP')), |
|
38 ('/iek-7', _(u'IEK-7')), |
38 ] |
39 ] |
39 return menue |
40 return menue |
40 |
41 |
41 app.jinja_env.globals.update(get_topmenue=get_topmenue) |
42 app.jinja_env.globals.update(get_topmenue=get_topmenue) |
42 |
43 |