K 10
svn:author
V 8
blackend
K 8
svn:date
V 27
2009-05-26T05:35:09.000000Z
K 7
svn:log
V 119
- Update to doc/ tree version 20090525;
- Add Options menu;
- Add MAKE_JOBS_SAFE knob.

Approved by:	doceng (implicit)

END