diff options
| author | M. Fauzilkamil Zainuddin <jerungkun@gmail.com> | 2012-03-28 10:02:23 +0200 |
|---|---|---|
| committer | M. Fauzilkamil Zainuddin <jerungkun@gmail.com> | 2012-04-04 16:31:38 +0200 |
| commit | 5d66f6554872e87f896daa8bf6f93e60b0fa34fa (patch) | |
| tree | 6ff5754276bc75d5ffefa0de6bbb3dc062941b12 /user_guide_src/source/conf.py | |
| parent | 1991379f11af083675b60979c5d9f2a9bba213a4 (diff) | |
Fixing user_guide compilation warnings
Diffstat (limited to 'user_guide_src/source/conf.py')
| -rw-r--r-- | user_guide_src/source/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/user_guide_src/source/conf.py b/user_guide_src/source/conf.py index 593ceaf1c..e972a388b 100644 --- a/user_guide_src/source/conf.py +++ b/user_guide_src/source/conf.py @@ -121,7 +121,7 @@ html_theme_path = ["./_themes"] # 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 = ['_static'] # If not '', a 'Last updated on:' timestamp is inserted at every page bottom, # using the given strftime format. |