Skip to content

tools/doc/html.js produces invalid html #3931

@jelmd

Description

@jelmd

tools/doc/html.js produces invalid html (v5.1.0) produces invalid html wrt. doc/api/*.html - use https://validator.w3.org/ to check. Suggested fix:

--- ./tools/doc/html.js.orig    Tue Nov 17 21:55:34 2015
+++ ./tools/doc/html.js Fri Nov 20 01:46:19 2015
@@ -135,11 +135,11 @@
       }
       if (tok.type === 'list_end') {
         depth--;
+        output.push(tok);
         if (depth === 0) {
           state = null;
           output.push({ type:'html', text: '</div>' });
         }
-        output.push(tok);
         return;
       }
       if (tok.text) {

Metadata

Metadata

Assignees

No one assigned

    Labels

    toolsIssues and PRs related to the tools directory.

    Type

    No type
    No fields configured for issues without a type.

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions