# HG changeset patch # User Andre Heinecke # Date 1413216293 -7200 # Node ID 7b42b3be089935ca8c2b045b53eaf4a5e7b52bf1 # Parent 137a0686de7b2551539e1b8e80a32191ea4b1a8b (issue156) Use relative path for extra stylesheet diff -r 137a0686de7b -r 7b42b3be0899 doc/help/admin/conf.py.in --- a/doc/help/admin/conf.py.in Mon Oct 13 17:56:50 2014 +0200 +++ b/doc/help/admin/conf.py.in Mon Oct 13 18:04:53 2014 +0200 @@ -99,7 +99,7 @@ # documentation. html_theme_options = { 'linktotheme': False, - 'cssfiles': ['@ADMIN_MANUAL_IN@/_static/extra-style.css'], + 'cssfiles': ['_static/extra-style.css'], } # Add any paths that contain custom themes here, relative to this directory. diff -r 137a0686de7b -r 7b42b3be0899 doc/help/client/conf.py.in --- a/doc/help/client/conf.py.in Mon Oct 13 17:56:50 2014 +0200 +++ b/doc/help/client/conf.py.in Mon Oct 13 18:04:53 2014 +0200 @@ -99,7 +99,7 @@ # documentation. html_theme_options = { 'linktotheme': False, - 'cssfiles': ['@HELP_MANUAL_IN@/_static/extra-style.css'], + 'cssfiles': ['_static/extra-style.css'], } # Add any paths that contain custom themes here, relative to this directory.