Make top-level special pages part of the web version of the book

This commit is contained in:
Ben Wiederhake 2023-12-23 10:35:06 +01:00
parent 798ba4e1ef
commit 6844086ebc
1 changed files with 6 additions and 0 deletions

View File

@ -32,10 +32,16 @@ def main():
for path in os.listdir('text'):
symlink(f'../text/{path}', f'src/{path}')
symlink(f'../compiler_changes.md', f'src/compiler_changes.md')
symlink(f'../lang_changes.md', f'src/lang_changes.md')
symlink(f'../libs_changes.md', f'src/libs_changes.md')
symlink('../README.md', 'src/introduction.md')
with open('src/SUMMARY.md', 'w') as summary:
summary.write('[Introduction](introduction.md)\n\n')
summary.write('- [Guidelines for compiler changes](compiler_changes.md)\n')
summary.write('- [Guidelines for language changes](lang_changes.md)\n')
summary.write('- [Guidelines for library changes](libs_changes.md)\n')
collect(summary, 'text', 0)
subprocess.call(['mdbook', 'build'])