diff options
| author | Herbert Valerio Riedel <hvr@gnu.org> | 2014-02-09 15:24:00 +0100 |
|---|---|---|
| committer | Herbert Valerio Riedel <hvr@gnu.org> | 2014-02-09 15:24:00 +0100 |
| commit | 65170fcb5c864f285bfbb9414be65cf001168e80 (patch) | |
| tree | fd253d17c94b33ee79c19eb62884530612755872 /ghc.mk | |
| parent | 7561e37103041d6691c70683f910cdb97952483a (diff) | |
| download | haskell-65170fcb5c864f285bfbb9414be65cf001168e80.tar.gz | |
Let `make distclean` remove `/{ch01,ch02,index}.html`
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>
Diffstat (limited to 'ghc.mk')
| -rw-r--r-- | ghc.mk | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -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) |