tree 17a0a5e5e5613db797ccc65c56c655cfceab15e2
parent 265f2f1373f10ef0526da9f3ec84d39df22ffa37
author Todd Wang <toddw@google.com> 1443573078 -0700
committer Todd Wang <toddw@google.com> 1443573078 -0700

lib: Fix various cmdline documentation issues.

o Ensure the v.io/jiri tool only has docs for built-in commands.
o Add a v.io/x/devtools/jiridoc target for full jiri docs.
o Fix cmdline package to elide CMDLINE_* envvars before running
user-specified runners.
o Update cmdline gendoc.go to allow setting envvars, install
extra packages, and explicitly specify the output file.
o Add helper functions to envvar package to copy maps and slices.

MultiPart: 3/3

Change-Id: I6e50ce02b2c1e34ade6fd779c2e4336020de3fbb