Commit 68986d2b authored by's avatar
Browse files

Split up make target for documentation generation. Allows to build

the user's guide separately from the Haddock documentation. 
parent 18512db2
......@@ -63,9 +63,12 @@ haddock: setup
cd doc && $(MAKE) clean
doc: haddock
docbook2html doc/Cabal.xml --output doc/users-guide
doc: haddock users-guide
docs: doc
clean: clean-cabal clean-hunit clean-test clean-doc
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