From 39602c15f0654d745b7a4d03ab47b842543b7ad7 Mon Sep 17 00:00:00 2001 From: Dmytro Meleshko Date: Thu, 3 Jun 2021 13:37:07 +0300 Subject: [PATCH] [scripts/markdown2htmldoc] add a title tag to the generated documents --- script-resources/markdown2htmldoc/main.js | 2 ++ 1 file changed, 2 insertions(+) diff --git a/script-resources/markdown2htmldoc/main.js b/script-resources/markdown2htmldoc/main.js index 312896e..9a55da8 100755 --- a/script-resources/markdown2htmldoc/main.js +++ b/script-resources/markdown2htmldoc/main.js @@ -1,6 +1,7 @@ #!/usr/bin/env node const fs = require('fs'); +const pathM = require('path'); const argparse = require('argparse'); const markdownIt = require('markdown-it'); const markdownItTaskCheckbox = require('markdown-it-task-checkbox'); @@ -110,6 +111,7 @@ let renderedHtmlDocument = ` +${pathM.basename(args.INPUT_FILE || '<stdin>')} ${stylesheetsTexts.map((s) => ``).join('\n')}