Fri Aug 3 13:05:33 PDT 2007 Thomas Schilling <nominolo at gmail.com> * Split up make target for documentation generation. Allows to build the user's guide separately from the Haddock documentation. M ./Makefile -1 +4