diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/conf.py | 1 | ||||
| -rw-r--r-- | doc/ghc.mk | 2 |
2 files changed, 1 insertions, 2 deletions
diff --git a/doc/conf.py b/doc/conf.py index d6b8bda8..9adbd254 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -29,7 +29,6 @@ pygments_style = 'tango' # -- Options for HTML output ---------------------------------------------- -html_theme = 'alabaster' htmlhelp_basename = 'Haddockdoc' @@ -19,6 +19,6 @@ INSTALL_HTML_DOC_DIRS += utils/haddock/doc/haddock endif html_utils/haddock/doc : - make -C utils/haddock/doc html SPHINX_BUILD=$(SPHINXBUILD) + $(MAKE) -C utils/haddock/doc html SPHINX_BUILD=$(SPHINXBUILD) cp -R utils/haddock/doc/.build-html utils/haddock/doc/haddock |