Let `make distclean` remove `/{ch01,ch02,index}.html`
authorHerbert Valerio Riedel <hvr@gnu.org>
Sun, 9 Feb 2014 14:24:00 +0000 (15:24 +0100)
committerHerbert Valerio Riedel <hvr@gnu.org>
Sun, 9 Feb 2014 14:24:00 +0000 (15:24 +0100)
These files are created during `./configure` and therefore
by convention are expected to be removed by `make distclean`.

Signed-off-by: Herbert Valerio Riedel <hvr@gnu.org>
ghc.mk

diff --git a/ghc.mk b/ghc.mk
index 288b113..cb0dcde 100644 (file)
--- a/ghc.mk
+++ b/ghc.mk
@@ -1263,6 +1263,7 @@ distclean : clean
        $(call removeFiles,docs/index.html)
        $(call removeFiles,libraries/prologue.txt)
        $(call removeFiles,distrib/configure.ac)
+       $(call removeFiles,ch01.html ch02.html index.html)
 
 # ./configure also makes these.
        $(call removeFiles,mk/config.h)