I agree, just running make (the default target) should execute doc-clean
before building the documentation. I'm doing this on the buildbot by hand
since otherwise lots of builds fail.
On Friday, August 21, 2015 at 3:28:57 AM UTC-4, Emmanuel Charpentier wrote:
FWIW, passes ptestlong on
On Friday, August 21, 2015 at 8:28:56 AM UTC-4, Nathann Cohen wrote:
Do you think it would make sense to trigger a 'make clean' every time
you switch to a new beta? I also do make doc-clean every time I pull
a release.
make clean only deletes some temp files, so I don't really care. Its
I agree, just running make (the default target) should execute doc-clean
before building the documentation. I'm doing this on the buildbot by hand
since otherwise lots of builds fail.
Do you think it would make sense to trigger a 'make clean' every time
you switch to a new beta? I also do
On 2015-08-21 14:27, Volker Braun wrote:
I agree, just running make (the default target) should execute
doc-clean before building the documentation.
Would it be possible to fix the dependencies in some way, so that this
make doc-clean would not be possible? ...or doing somehting else, so
FWIW, passes ptestlong on Debian testing running on Core17+16GB RAM laptop.
But the build requires make doc-clean again...
HTH,
--
Emmanuel Charpentier
Le vendredi 21 août 2015 04:16:59 UTC+2, Volker Braun a écrit :
As always, you can get the latest beta version from the develop git
On 2015-08-21 09:28, Emmanuel Charpentier wrote:
But the build requires make doc-clean again...
This is very annoying. Can we get rid of this? I didn't check, but is
there a ticket for this?
Best
Daniel
--
You received this message because you are subscribed to the Google Groups
