Re: indent 2.2.10 and HTML docs

[Santiago Vila]

> Below are the contents of the doc directory in the 2.2.9 and 2.2.10 releases
> of indent.
> As you can see, both contain indent.html, which is the whole manual as a
> single page. Thus no changes on this front.

You are right. Sorry for the confusion.

The problem is subtle indeed. Try this:

ls -l doc/indent.html
./configure
make
make install prefix=`pwd`/debian/tmp
make distclean
ls -l doc/indent.html

This did not happen in indent 2.2.9 and it seems a makefile bug to me.
Either indent.html should be provided in the tarball and then
distclean should not remove it, or it should not be provided in the
tarball and distclean is ok to remove it.

Thanks.