23 Apr
2016
23 Apr
'16
1:22 p.m.
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