21 lines
936 B
Python
21 lines
936 B
Python
# 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())
|