[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
When should doxyhtml directory be cleaned?
From: |
Rik |
Subject: |
When should doxyhtml directory be cleaned? |
Date: |
Fri, 5 Jan 2018 12:22:27 -0800 |
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.
--Rik
- When should doxyhtml directory be cleaned?,
Rik <=