Commit graph

3 commits

Author SHA1 Message Date
Thomas Kriechbaumer
55527c00eb docs: rename docs scripts and improve template 2020-04-11 12:25:56 +02:00
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