[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: indent 2.2.10 and HTML docs
From: |
Santiago Vila |
Subject: |
Re: indent 2.2.10 and HTML docs |
Date: |
Sat, 5 Apr 2008 12:13:21 +0200 (CEST) |
> 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.