chiark / gitweb /
"make developers-reference.{html,pdf,txt}" should work now