function stripLinks()

in scripts/generateHeadingIDs.js [25:27]


function stripLinks(line) {
  return line.replace(/\[([^\]]+)\]\([^)]+\)/, (match, p1) => p1);
}