Don't try to copy haddock index files if we haven't built the docs.
authorjudah.jacobson@gmail.com <unknown>
Fri, 31 Aug 2007 05:03:21 +0000 (05:03 +0000)
committerjudah.jacobson@gmail.com <unknown>
Fri, 31 Aug 2007 05:03:21 +0000 (05:03 +0000)
commit93ff058d179e1c6f36d5df7fa290f326d79b680a
treeec75362e19c2cc6e0d55a91a88aa852dd8b9bf9c
parent3fb77bfe0147a5b3a98037daf25995510eb05622
Don't try to copy haddock index files if we haven't built the docs.

M ./libraries/Makefile +2
libraries/Makefile