No description

Gareth Rees 57e2dbccf3 Make mps manual sphinx extensions compatible with recent versions of sphinx: ... 1. Don't use the html_use_smartypants directive (smartquotes are on by default now). 2. Don't call make_admonition but inherit from BaseAdmonition instead. 3. Set the title of an admonition via the visit method instead of hacking the title node (which is now non-existent as a result of item 2). Copied from Perforce Change: 193550		2018-02-12 16:49:42 +00:00
mps	Make mps manual sphinx extensions compatible with recent versions of sphinx:	2018-02-12 16:49:42 +00:00