Function readFileSection

scripts/docs_sync/main.ts:86–109

(file: string, section: string)

}

async function readFileSection(file: string, section: string) {
  const lines = await readLines(file);
  let sectionStart = '# `' + section + '`';
  let row = 0;
  let output: string[] = [];
  let inSection = false;
  while (row < lines.length) {
    const line = lines[row++];
    if (line === sectionStart) {
      inSection = true;
    } else if (line.startsWith('# ')) {
      inSection = false;
    } else if (inSection) {
      output.push(line);
    }
  }
  while (output.length && output[0] == '') {
    output.shift();
  }
  while (output.length && output[output.length - 1] == '') {
    output.pop();
  }
  return output;
}

async function resolveCodeExample(file: string, anchor: string): Promise<string[]> {
  const output: string[] = [];