Let `make distclean` remove `/{ch01,ch02,index}.html`

Authored by hvr on Feb 9 2014, 8:24 AM.

Description

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>

Details

Committed
hvrFeb 9 2014, 8:24 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF7561e3710304: double-negate test for Stage1Only to fix `make clean`
Branches
Unknown
Tags
Unknown