[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.
--
mike
signature.asc
Description: PGP signature