On 04/22/2016 08:35 AM, Andrea Bolognani wrote:
Commit 61b070cf20b5 cleaned up a number of cases where the
<dt>
element was used to document symbols, but the symbol itself was
not inside a <code> element.
To make sure we don't end up having to clean up again a few
months from now, introduce a syntax-check rule that can spot
such mistakes.
All existing exceptions are marked as such, with either file
or line granularity depending on the case.
---
cfg.mk | 14 ++++++++++++++
docs/formatsnapshot.html.in | 6 +++---
docs/remote.html.in | 2 +-
3 files changed, 18 insertions(+), 4 deletions(-)
ACK
- Cole