be more lenient about ids

6 years ago · 8d218f1076
1 changed files with 1 additions and 1 deletions
--- a/scripts/generateHeadingIDs.js
+++ b/scripts/generateHeadingIDs.js
@ -24,7 +24,7 @@ function addHeaderID(line, slugger) {
    return line;
  }
  // check if it already has an id
-  if (/\{#[-A-Za-z0-9]+\}/.test(line)) {
+  if (/\{#[^}]+\}/.test(line)) {
    return line;
  }
  const headingText = line.slice(line.indexOf(' ')).trim();