diff --git a/doc/template.html b/doc/template.html index 1b68ba9fb36..802021b02bc 100644 --- a/doc/template.html +++ b/doc/template.html @@ -7,6 +7,7 @@ +
diff --git a/tools/doctool/doctool.js b/tools/doctool/doctool.js index da31445fe13..634d82c9218 100644 --- a/tools/doctool/doctool.js +++ b/tools/doctool/doctool.js @@ -110,6 +110,7 @@ if (argc > 3) { // go markdown. html = convertData(data); filename = path.basename(filename, '.markdown'); + output = output.replace(/{{filename}}/g, filename); if (filename != "_toc" && filename != "index") { if (data) {