diff --git a/Makefile b/Makefile index edb7858fa030ca006b7582ef755234ddcc4e733f..4d908f9892ff56bdf39c20616b510a9f16cc7e19 100644 --- a/Makefile +++ b/Makefile @@ -63,7 +63,7 @@ $(HADDOCK_STAMP) : $(CONFIG_STAMP) XSLTPROC=xsltproc XSLTPROC_HTML_OUTDIR=dist/doc/users-guide/ -XSLTPROC_HTML_CSS=doc/fptools.css +XSLTPROC_HTML_CSS=doc/Cabal.css XSLTPROC_HTML_PARAMS=\ --param use.id.as.filename 1 \ --param toc.section.depth 3 \ diff --git a/doc/fptools.css b/doc/Cabal.css similarity index 100% rename from doc/fptools.css rename to doc/Cabal.css