[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: When should doxyhtml directory be cleaned?

From: Mike Miller
Subject: Re: When should doxyhtml directory be cleaned?
Date: Fri, 5 Jan 2018 12:33:36 -0800
User-agent: Mutt/1.9.2 (2017-12-15)

On Fri, Jan 05, 2018 at 12:22:27 -0800, Rik wrote:
> I was trying to remove all cruft from my system and start a new build of
> octave.  I used 'make maintainer-clean' which did a pretty good job, but
> left the doc/doxyhtml/ directory intact.  Shouldn't the files in there be
> removed with 'maintainer-clean'?  Or do you really have to use the rule
> 'doxyhtml-maintainer-clean' which I'm sure no one remembers.

Yes, I think the 'doc-maintainer-clean' target should depend on the
'doxyhtml-maintainer-clean' target.


Attachment: signature.asc
Description: PGP signature

reply via email to

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