Open mattam82 opened 3 years ago
Thanks! All these were auto-generated by parsing the Sphinx refman, so it may be better to add custom ones in a separate definition at the bottom of the list, rather than mixed with the rest (Print and Print Assumptions are good to add, not sure why they're missing!). Also, did you try using https://github.com/cpitclaudel/alectryon#adding-custom-keywords ?
Ah I see, its probably better in a separate list indeed. I'm using the coqdoc frontend with no option to declare them there, AFAIK.
Since 33df0f226649541e18cacfd286d3bf811858f072 You can move your comments to rst and customize the CMD tokens.
and Print/Print Assumptions.