[cleanup]: Replace google drive user guide links with local PDFs

nand2tetris / web-ide

A web-based IDE for https://nand2tetris.org

https://nand2tetris.github.io/web-ide

Other

38 stars 11 forks source link

[cleanup]: Replace google drive user guide links with local PDFs #304

Closed DavidSouther closed 3 weeks ago

DavidSouther commented 1 month ago

When the guides are "finished" and ready for production, export them from PDF, put them in web/public, and update the URLs in web/src/shell/headings.tsx and web/service-worker.ts.