chiark / gitweb /
doctests: Rename `desc' etc. in extract-doctest from `rubric'