2 Commits

Author	SHA1	Message	Date
krzychb	21e2c417e8	docs: Remove building of zipped HTML docs from build process and consequently from Downloads as many users don't use that. We are still providing PDF documentation for people who prefer viewing docs off-line. Removal of this build step is expected to save almost 10 minutes of build time and resolve issue of build failures because of hitting 40 min build time limit on Read The Docs.	2019-07-28 01:16:47 +02:00
Krzysztof	b62182d75a	docs: Remove space from RTD project configuration filename to be recognized by the RTD build system	2019-06-21 13:15:42 +08:00