win32 nightly build broken

[Derek Atkins]

Derek Atkins <warlord at MIT.EDU> writes:

> Christian Stimming <stimming at tuhh.de> writes:
>
>>> I ran reset.sh and cleaned out the build dir, but due to some hardware
>>> issues the nightly build didn't fire last night.  I just went in to
>>> start it manually but it looks like someone beat me to it.
>>
>> Yeah, I'm working there already...
>
> Okay.  I'll not touch it, then.

FYI, I noticed this morning that the build didn't complete.  It was
(again) a failure in xsltproc.  Amusingly there were two builds, and
both failed in the same place in the same way, so perhaps there is a bug
in our documentation that is tickling a bug in xsltproc on Windows?

>> Christian
>
> -derek

-derek

-- 
       Derek Atkins, SB '93 MIT EE, SM '95 MIT Media Laboratory
       Member, MIT Student Information Processing Board  (SIPB)
       URL: http://web.mit.edu/warlord/    PP-ASEL-IA     N1NWH
       warlord at MIT.EDU                        PGP key available