Re: indent 2.2.10 and HTML docs

Santiago Vila wrote:
>> 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.
>
>
>   
I'll puzzle out a fix for the next release, although I'm not sure what 
has changed from 2.2.9 to cause it to behave differently.