[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
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.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]