* Add pipeline to documentation homepage.
* Fix for mobile devices.
* Add little pipelines to go at the top of each page.
* Overhaul index page.
* Overhaul README to remove redundant material.
* Add installation documentation.
* Update pipelines.
* Allow nesting of deeper details.
* Add a pipeline to the top of the load/save page.
* Add prerequisites link to main pipeline.
* Add better but not finished sidebar.
* Add a couple new documentation pages.
* Fix URLs in svg.
* Incremental checkin.
* Fix Youtube URLs.
* Incremental checkin.
* Minor fixes.
* Add first pass at evaluation/deployment pages.
* Minor spacing and link fixes.
* Flesh out a number of additional pages and write basic compilation documentation.
* Fix some minor issues, and add Docker deployment page (not totally finished yet).
* Add developer documentation landing page.
* Hopefully getting close to the final set of changes here.
* Remove this documentation for now.
* Fix a few links, and the size of the sidebar.
* Fix some additional links.
* Fix a bunch more links.
* Fix another link that now has a better place.
* Refactor test-docs.sh to handle documentation that is a standalone program.
* Fix file exclusions.
* Fully qualify typename.
* Update name of file.
* Fix syntax error.
* Remove files that are not meant to be compiled.
* Also skip the quickstart.
* Move quickstart entry to the top.
* Remove gray coloring of binding documentation.
* Update name of sidebar link.
* Update to working link.
* Fix Wikipedia anchor.
Ryan Curtin
c8eb3dceac