--- a/manuals/help-manual/conf.py.in	Fri Aug 22 18:03:52 2014 +0200
+++ b/manuals/help-manual/conf.py.in	Fri Aug 22 19:14:26 2014 +0200
@@ -99,7 +99,7 @@
 # documentation.
 html_theme_options = {
     'linktotheme': False,
-    'cssfiles': ['_static/extra-style.css'],
+    'cssfiles': ['@HELP_MANUAL_IN@/_static/extra-style.css'],
 }
 
 # Add any paths that contain custom themes here, relative to this directory.
@@ -124,7 +124,7 @@
 # Add any paths that contain custom static files (such as style sheets) here,
 # relative to this directory. They are copied after the builtin static files,
 # so a file named "default.css" will overwrite the builtin "default.css".
-html_static_path = ['_static']
+html_static_path = ['@HELP_MANUAL_IN@/_static']
 
 # If not '', a 'Last updated on:' timestamp is inserted at every page bottom,
 # using the given strftime format.