I cannot build the latest dev (00924e6e513e tip @) .
The build creates exe OK, but during building docs
the octave goes into infinite debug> loop and I have to kill it.
Buildbots got killed by oomem daemon.
Buildbot server looks dead at the moment -- I guess I am not the only one
having troubles.
Dmitri.
--