tree b968652ee2804c12ba29ff48a666eeeb3de20fd3
parent 786866d9f743691e88ea70f46deb51013dd13fb6
author Sergiu Deitsch <sergiu.deitsch@gmail.com> 1653762544 +0200
committer Sameer Agarwal <sameeragarwal@google.com> 1653771732 +0000

Retain terminal formatting when building docs

This prevents Sphinx output to be stripped of colors, emphasis etc.

Change-Id: I127e02cbdda69a5d49a73678a7a7e2b4512b189e