diff options
author | 2017-12-05 08:40:29 -0800 | |
---|---|---|
committer | 2017-12-05 08:41:53 -0800 | |
commit | 3be641723c5fb52ab80ab60976635f48ae07c28e (patch) | |
tree | 66abd18c224698d2b6078f8cbde42c3a654010f1 /src/create_embedded_tools_lib.py | |
parent | a1c3231f3b48f22638529960257c59c71c38b668 (diff) |
scripts/serve-docs.sh: allow overriding PORT/HOST
...through the corresponding environment variables. In this
way, more than one documentation version can be served, e.g.,
to simplify comparing.
Change-Id: I4ae069a4a48f12e9bd48210ee3bd22299149f59d
PiperOrigin-RevId: 177959891
Diffstat (limited to 'src/create_embedded_tools_lib.py')
0 files changed, 0 insertions, 0 deletions