Builds for doc-linux in Ubuntu Gutsy

Build started on 2007-06-19 on palmer (i386) and finished on 2007-06-19 taking 3 minutes — see the log

Build started on 2007-05-23 on vernadsky (i386) and finished on 2007-05-23 taking 2 minutes — see the log

Build started on 2007-04-28 on palmer (i386) and finished on 2007-04-28 taking 11 minutes — see the log

Build started on 2006-12-06 on vernadsky (i386) and finished on 2006-12-06 taking 2 minutes — see the log