diff options
author | Ben Gamari <ben@smart-cactus.org> | 2016-05-16 18:59:08 +0200 |
---|---|---|
committer | Ben Gamari <ben@smart-cactus.org> | 2016-05-16 19:56:11 +0200 |
commit | 2c603c39a2b1c40431f8f6d9b7b12976311913db (patch) | |
tree | d8cbbc9f920a74dc6e83973cf29f98ac6e58646f /doc | |
parent | 34f0794b3ac94a11ccdf97a1435f2b34284e2250 (diff) |
Revert "doc: Vendorize alabaster Sphinx theme"
This ended up causes far too many issues to be worthwhile. We'll just
have to live with inconsistent haddock documentation.
This reverts commit cec21957001143794e71bcd9420283df18e7de40.
Diffstat (limited to 'doc')
m--------- | doc/alabaster | 0 | ||||
-rw-r--r-- | doc/conf.py | 1 |
2 files changed, 0 insertions, 1 deletions
diff --git a/doc/alabaster b/doc/alabaster deleted file mode 160000 -Subproject aabda1182083d21b6d9bafb53ea8a99eb4be4cf diff --git a/doc/conf.py b/doc/conf.py index 6e73eb5c..d6b8bda8 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -29,7 +29,6 @@ pygments_style = 'tango' # -- Options for HTML output ---------------------------------------------- -html_theme_path = ['./alabaster'] html_theme = 'alabaster' htmlhelp_basename = 'Haddockdoc' |