EDOC, the excellent Eiffel Documentation Generator from Julian Tschannen has been forked on Github.
You'll find it at http://github.com/pgcrism/edoc
It has been forked from version 1.2, and has been ported to latest version of Gobo (the Github one) thanks to Eric Bezault and Paul G.