Markdeep version

1. Modify .html files
2. Tell deian to publish

Mkdocs version (pre fall2020)

How to work with this repo:

1. Modify/add files in docs. Don't ever modify things under site directly.
2. make serve if you're running locally
3. Once you're done, make build and checking both the new files in docs and site. Then push.
4. Tell deian to publish

First time?

Install mkdocs and extension via: make install