* A first attempt at overhauling the documentation job with a cache.
* Actually remove files we don't need anymore.
* Fix output from local link checks to give it all at once.
* Add sparse matrices to the set of detected matrix types.
* Fix comparison condition.
* Make a pass to try and re-validate cached links that have not yet expired.
* Compile and link separately so that ccache can take effect.
* Be a little bit smarter about caching.
* Ensure libicu$SO is installed so 'stringi' can be used
Also collapse to remotes calls into one
* Fix style issues that cpplint 2 found (#3884)
* Try to workaround the libicu issue for now.
* Mention new dependency.
---------
Co-authored-by: Dirk Eddelbuettel <edd@debian.org>
* 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.