9 Commits

Author	SHA1	Message	Date
Ivan Blinkov	a764545120	Docs build and grammar fixes (#9750)	2020-03-19 11:31:06 +03:00
Ivan Blinkov	ee65e63c33	Improve docs build logging (#9744)	2020-03-19 09:28:58 +03:00
Ivan Blinkov	d4cc635a4c	Major website front page refactoring (#9300)	2020-03-13 22:35:03 +03:00
Ivan Blinkov	8aa6a21461	Update github.py	2020-01-29 19:03:20 +03:00
Ivan Blinkov	8e7fdfc3f0	Try to add some parallelism to docs build	2020-01-29 16:34:12 +03:00
Ivan Blinkov	c63b1c84c0	[docs] Improved retrieval of stable releases list	2020-01-28 13:18:09 +03:00
Ivan Blinkov	f9fe0577c4	docs build fixes	2019-12-10 11:15:38 +03:00
Alexey Milovidov	8579c26efb	Changed repository URL	2019-09-23 19:18:19 +03:00
Ivan Blinkov	87f6889ae6	Support building docs for stable releases in addition to docs from master (#4940)	2019-04-08 19:01:54 +03:00