Skip to content
Snippets Groups Projects
Commit adce8857 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 51733e04
No related branches found
Tags 0.8.9.2
No related merge requests found
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment