clean up backquotes in the master code chunks' files (used by __patch…

…_parser_kernel tool)
GerHobbelt · Dec 23, 2017 · 9e40307 · 9e40307
1 parent 8ca92ef
commit 9e40307
Show file tree

Hide file tree

Showing 3 changed files with 5 additions and 5 deletions.
diff --git a/lib/jison-parser-API-section1.js b/lib/jison-parser-API-section1.js
@@ -75,7 +75,7 @@ var API = {
     //
     // The produced list may contain token or token set descriptions instead of the tokens
     // themselves to help turning this output into something that easier to read by humans
-    // unless \`do_not_describe\` parameter is set, in which case a list of the raw, *numeric*,
+    // unless `do_not_describe` parameter is set, in which case a list of the raw, *numeric*,
     // expected terminals and nonterminals is produced.
     //
     // The returned list (array) will not contain any duplicate entries.

diff --git a/lib/jison-parser-commonJsMain-function.js b/lib/jison-parser-commonJsMain-function.js
@@ -1,6 +1,6 @@
 
 function (args) {
-    // When the parser comes with its own \`main\` function, then use that one:
+    // When the parser comes with its own `main` function, then use that one:
     if (typeof exports.parser.main === 'function') {
       return exports.parser.main(args);
     }
@@ -11,12 +11,12 @@ function (args) {
     }
     var source = fs.readFileSync(path.normalize(args[1]), 'utf8');
     var dst = exports.parser.parse(source);
-    console.log('parser output:\\n\\n', {
+    console.log('parser output:\n\n', {
         type: typeof dst,
         value: dst
     });
     try {
-        console.log("\\n\\nor as JSON:\\n", JSON.stringify(dst, null, 2));
+        console.log("\n\nor as JSON:\n", JSON.stringify(dst, null, 2));
     } catch (e) { /* ignore crashes; output MAY not be serializable! We are a generic bit of code, after all... */ }
     var rv = 0;
     if (typeof dst === 'number' || typeof dst === 'boolean') {

diff --git a/lib/jison-parser-debugTrace-function.js b/lib/jison-parser-debugTrace-function.js
@@ -6,7 +6,7 @@ function debug_trace() {
         print.apply(null, arguments);
     } else if (typeof console !== 'undefined' && console.log) {
         var args = Array.prototype.slice.call(arguments, 0);
-        args.unshift('');           // prevent \`%.\` printf-style expansions; see https://nodejs.org/api/console.html#console_console_log_data_args
+        args.unshift('');           // prevent `%.` printf-style expansions; see https://nodejs.org/api/console.html#console_console_log_data_args
         console.log.apply(null, args);
     }
 }