diff options
| author | Michal Minar <miminar@redhat.com> | 2013-10-11 10:08:00 +0200 |
|---|---|---|
| committer | Michal Minar <miminar@redhat.com> | 2013-10-15 15:31:26 +0200 |
| commit | e8ba6662501696e596e206ea691d7c7a8dd92849 (patch) | |
| tree | 32ea72d9e16310db24d69802dfe316392e8dce21 /tools/gendoc/doc/conf.py | |
| parent | e6a098f3a6f6666a534139e9686dd082094d664a (diff) | |
| download | openlmi-providers-e8ba6662501696e596e206ea691d7c7a8dd92849.tar.gz openlmi-providers-e8ba6662501696e596e206ea691d7c7a8dd92849.tar.xz openlmi-providers-e8ba6662501696e596e206ea691d7c7a8dd92849.zip | |
documentation: make the build process less picky
Allow to specify workspace directory, where the local git checkouts are
located. Also do not depend on installed openlmi-providers-devel package
when all we need is in this repository.
Diffstat (limited to 'tools/gendoc/doc/conf.py')
| -rw-r--r-- | tools/gendoc/doc/conf.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/gendoc/doc/conf.py b/tools/gendoc/doc/conf.py index ee12eff..331d8a6 100644 --- a/tools/gendoc/doc/conf.py +++ b/tools/gendoc/doc/conf.py @@ -105,7 +105,7 @@ html_theme = 'openlmitheme' #html_theme_options = {} # Add any paths that contain custom themes here, relative to this directory. -#html_theme_path = [] +html_theme_path = ['../..'] # The name for this set of Sphinx documents. If None, it defaults to # "<project> v<release> documentation". |