* Andrew John Hughes <ahughes at redhat.com> [2009-05-05 11:27]: > Apologies for the off-topic question, but why is sinjdoc being used rather > than gjdoc? It was originally chosen because it could do annotations, etc. that gjdoc couldn't. Andrew