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)
commit65170fcb5c864f285bfbb9414be65cf001168e80
treefd253d17c94b33ee79c19eb62884530612755872
parent7561e37103041d6691c70683f910cdb97952483a
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>
ghc.mk