From: Simon Marlow Date: Mon, 5 Feb 2007 14:08:00 +0000 (+0000) Subject: don't forget to remove html-docs as part of 'make clean' X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=61213f56c7dd51ca3d5175c9e0e9fb946ba19108 don't forget to remove html-docs as part of 'make clean' --- 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