- Re-enable docs presbumit check (checks if there has been direct
edits of /docs).
- Fix script to download and install mdbook
- Update Materials.md.html and re-run the build script
(build/run.py).
Markdeep documents
Markdeep documents require special processing before they can be compiled into the group.
The "original" are stored in this folder. The processing part takes place in
docs_src/build/run.py.
Editing
While editing the file, you might consider doing the following
python3 -m http.server 8001- visit
http://localhost:8001/Filament.md.htmlin the browser to view the result