Doc html re-build unstable

[BsAtHome]

When you have build the HTML docs, then rebuilding them is not stable.

$ configure --enable-build-documentation=html
$ make -O -j8
$ touch ../docs/src/config/python-interface.adoc
$ make -O -j8
# nothing happens, only deps are checked and the setuid/setcap message
$ make -O -j8
# now the rebuild happens

So, the second invocation of make does start the rebuild.

@grandixximo any guess?

[grandixximo]

Yes, was my doing, will push something tomorrow, I found where, even though I build twice all the times, it slipped through, thank you for checking, need start do it three times I guess...

[BsAtHome]

Lets call it "shit happens" ;-)