3 commits

Author	SHA1	Message	Date
Dan Helfman	6bfa0783b9	Clarify that the documentation suggestion form is only for documentation.	2019-12-17 20:16:13 -08:00
Dan Helfman	f573c1810a	Add a suggestion form to all documentation pages, so users can submit ideas for improving the documentation.	2019-10-10 14:27:48 -07:00
Dan Helfman	9c9be65b2b	Add files for building documentation into a Docker image for web serving.	2019-05-20 11:41:39 -07:00