Martin Atkins 33120477c7 guide: When running in Read The Docs, get version from its environment
Git isn't available in the Read The Docs build, but we don't actually need
it there anyway because we are told the version number that Read The Docs
thinks it is building.
2018-08-25 17:01:35 -07:00
..
2018-08-25 16:36:05 -07:00
2018-08-25 16:36:05 -07:00
2018-08-25 16:36:05 -07:00
2018-08-25 16:36:05 -07:00
2018-08-25 16:36:05 -07:00
2018-08-25 16:36:05 -07:00
2018-08-25 16:36:05 -07:00