From: Ivan Grokhotkov Date: Thu, 10 Aug 2017 13:39:13 +0000 (+0800) Subject: Merge branch 'feature/docs_setup_sphinx' into 'master' X-Git-Tag: v3.1-dev~415 X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=6c892e3cca24191c630e445e954c6b91ccf02bf7;p=esp-idf Merge branch 'feature/docs_setup_sphinx' into 'master' Instructions how to setup tools and build documentation locally See merge request !1063 --- 6c892e3cca24191c630e445e954c6b91ccf02bf7