[GRASS-dev] GRASS 7.1 trunk file man file error

[Glynn Clements]

Michael Barton wrote:

> Just now compiled GRASS 7.1 trunk and got an error in the man file

> /Users/cmbarton/Dropbox/GRASS_dropbox/source/grass7_dev/dist.x86_64-apple-darwin13.3.0/docs/html/keywords.html:16:0:
> Error (IndexError('pop from empty list',)):
> <dt><b><h2>SYNOPSIS</h2></b></dt>

<h2> isn't permitted inside <dt>.

More generally, <dt> only allows inline elements as descendants, and
<h2> is a block element.

However, keywords.html is auto-generated, so this would appear to be
either an issue with the man/build_keywords.py script, or the HTML
files which it is using.

-- 
Glynn Clements <glynn at gclements.plus.com>