Skip to content

Commit

Permalink
Merge pull request #3547 from BenWiederhake/master
Browse files Browse the repository at this point in the history
Make top-level special pages part of the web version of the book
  • Loading branch information
ehuss authored Jan 2, 2024
2 parents 798ba4e + 6844086 commit 8e122e7
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions generate-book.py
Original file line number Diff line number Diff line change
Expand Up @@ -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'])
Expand Down

0 comments on commit 8e122e7

Please sign in to comment.