2 Commits

Author	SHA1	Message	Date
Maximilian Hils	7c66c4eb16	abort doc scripts on error	2018-03-20 15:04:31 +01:00
Aldo Cortesi	ee6937f948	docs: add robots.txt and error.html ... - robots.txt prevents crawling of everything but /stable - error.html has a simple meta refresh to the latest stable docs. This will also help crawlers find the right path.	2018-03-05 10:57:50 +13:00