Bob Nystrom d2d1835e54 feat: recopy css file if it has been modified since last build ...

Extract CSS modification time comparison into reusable `compare_modification_times` helper and apply it to CSS copying logic, ensuring style.css is recopied when source is newer than destination. Also fix output path from `build/docs/` to `build/site/` for generated HTML files.

2014-02-01 04:51:30 +00:00

..

generate_corelib.py

fix: switch shebang from hardcoded /usr/bin/python to portable /usr/bin/env python

2014-01-28 18:56:24 +00:00

generate_docs.py

feat: recopy css file if it has been modified since last build

2014-02-01 04:51:30 +00:00

test.py

feat: restructure Makefile with debug/release builds and move scripts to subdirectory

2014-01-24 07:29:50 +00:00