X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=libraries%2FMakefile;h=db51a679b6ddc9d45e98282f046e26994d90482c;hb=479f4cac9815c88e91492913a1247d8c6f53b659;hp=889d86a281e6a2df1893d87582da1f07172f8d3a;hpb=7fe69f70b5546d9cd9dd7717df3d7f655be2dbb5;p=ghc-hetmet.git

diff --git a/libraries/Makefile b/libraries/Makefile
index 889d86a..db51a67 100644
--- a/libraries/Makefile
+++ b/libraries/Makefile
@@ -61,6 +61,9 @@ ifneq "$(NO_HADDOCK_DOCS)" "YES"
 
 HTML_DIR = html-docs
 
+extraclean ::
+	$(RM) -rf $(HTML_DIR)
+
 # ATTENTION, incomprehensible shell stuff ahead: Automagically create the
 # prologue for the combined index via a header, the package prologues (in
 # alphabetical order of the packages) and a footer. Not very nice, but much