Home

Jump to bottom

Dibyendu Majumdar edited this page Apr 8, 2025 · 1 revision

Welcome to the compilerprogramming.github.io wiki!

Build Notes

The sources are updated in dev branch
We then run following

cd site
make html

This builds the site into site/build/html.

We switch back to main
We then copy the site files to the project root:

git checkout main
cd to project root
cp site/build/html/*.html .
cp site/build/html/*.js .
cp -r site/build/html/_sources/* _sources/
cp -r site/build/html/_static/* _static/

Note that we do not commit the site folder in main, as everything in main is just for web publishing.