Add a custom role for trac tickets
|Reported by:||atagar||Owned by:||atagar|
It would be useful if, in our sphinx docs, we could use...
... to link to ticket #1234 rather than need to provide a full url every time. This will make our docs more readable and less error prone, and is quite doable via a custom sphinx role. For information on how to do this see this tutorial (or his pycon presentation about it).