diff options
| author |  Lidi Zheng <lidiz@google.com> | 2018-11-15 11:07:14 -0800 |
|---|---|---|
| committer | Lidi Zheng <lidiz@google.com> | 2018-11-15 17:39:22 -0800 |
| commit | d1776af2ffcb52fddcd112b0e2ce26205a9ed880 (patch) | |
| tree | d5d8ddd8c91f62817db80c0e8f299a86c7ac2f16 /tools/doxygen | |
| parent | 15be84ac2e77839a97a2e2800e3656079f05ff99 (diff) | |
Make docgen.py work
* Merge unnecessary arguments
* Remove the build command (CI should make sure it works, not this script)
* Speed up the GitHub operations with proper flags
* Adding Sphinx to setup requirement
Diffstat (limited to 'tools/doxygen')
0 files changed, 0 insertions, 0 deletions