| # This script combines FIRLangRef_Header.md with the auto-generated Dialect/FIRLangRef.md |
| # for the purpose of creating an introduction header/paragraph for FIRLangRef.html. |
| |
| import os |
| |
| # These paths are relative to flang/docs in the build directory, not source, as that's where this tool is executed. |
| HEADER_PATH = os.path.join("Source", "FIR", "FIRLangRef_Header.md") |
| DOCS_PATH = os.path.join("Dialect", "FIRLangRef.md") |
| OUTPUT_PATH = os.path.join("Source", "FIRLangRef.md") |
| |
| # 1. Writes line 1 from docs to output, (comment line that the file is autogenerated) |
| # 2. Adds a new line |
| # 3. Writes the entire header to the output file |
| # 4. Writes the remainder of docs to the output file |
| with open(OUTPUT_PATH, "w") as output: |
| with open(HEADER_PATH, "r") as header, open(DOCS_PATH, "r") as docs: |
| output.write(docs.readline()) |
| output.write("\n") |
| output.write(header.read()) |
| output.write(docs.read()) |