diff options
author | 2017-12-05 08:40:29 -0800 | |
---|---|---|
committer | 2017-12-05 08:41:53 -0800 | |
commit | 3be641723c5fb52ab80ab60976635f48ae07c28e (patch) | |
tree | 66abd18c224698d2b6078f8cbde42c3a654010f1 /src/main/java/com/google/devtools/build/lib/rules/Alias.java | |
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/main/java/com/google/devtools/build/lib/rules/Alias.java')
0 files changed, 0 insertions, 0 deletions