Ilya Shakhat f9d4e0e078 Re-organize doc building ...

* Split out PDF building into a separate tox target
* Run HTML builder the same way as by Infra
* Omit Latex builder as it's not used

Change-Id: Idae8ce297fdcc05141749d31f343cb29ce89ca66

2016-03-31 19:03:13 +03:00

..

build_pdf.sh

Re-organize doc building

2016-03-31 19:03:13 +03:00