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