#124:docs.patch
commit332591a042119bf981a282290d7c9fd497bce38d
authordustin <dustin@v.igoro.us>
Mon, 14 Apr 2008 22:53:43 +0000 (14 23:53 +0100)
committerdustin <dustin@v.igoro.us>
Mon, 14 Apr 2008 22:53:43 +0000 (14 23:53 +0100)
treeaf55882180b0554a69aa91874b5f2f53375380ce
parent78b181d0097c17b234b050fd60adeefc2dc43c58
#124:docs.patch

Add properties to the documentation, along with a nontrivial reorganization
of the scheduler section of the documentation.
docs/Makefile
docs/buildbot.texinfo