mongodb/docs-tools — pull request #7 by schmalliso (2013-07-30 19:59:26+00:00)
Title: build: making definition lists order correctly

I believe you've already merged in 1509982, but for whatever reason it's showing up here anyway. Commit 942873f is the one we're interested in.