From 6844086ebc8e68c18f1261f0289e29aeed8b5ef6 Mon Sep 17 00:00:00 2001 From: Ben Wiederhake Date: Sat, 23 Dec 2023 10:35:06 +0100 Subject: [PATCH] Make top-level special pages part of the web version of the book --- generate-book.py | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/generate-book.py b/generate-book.py index 050a72215f9..52cc33474cc 100755 --- a/generate-book.py +++ b/generate-book.py @@ -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'])