Commit 1c916b3e authored by Duncan Coutts's avatar Duncan Coutts
Browse files

Rename doc/fptools.css to avoid the ghc build system cleaning it

The user guide gets built in two different ways. There's a target
in Cabal's the top level Makefile and there is also the stuff that
the ghc build system uses. The ghc build system expects to copy in
doc/fptools.css and then delete it again on make clean. We want a
persistent copy so that we can make the docs when we've just got a
standalone Cabal build tree, so that's now kept as doc/Cabal.css.
parent c56aa1c4
......@@ -63,7 +63,7 @@ $(HADDOCK_STAMP) : $(CONFIG_STAMP)
--param 1 \
--param toc.section.depth 3 \
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment