[Top][All Lists]

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

Re: When should doxyhtml directory be cleaned?

From: John W. Eaton
Subject: Re: When should doxyhtml directory be cleaned?
Date: Fri, 5 Jan 2018 15:57:01 -0500
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101 Thunderbird/52.4.0

On 01/05/2018 03:33 PM, Mike Miller wrote:
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.

It's fine with me to clean it on maintainer-clean. I suspect it was omitted just because it takes so long to run doxygen on the Octave sources.


reply via email to

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