diff options
Diffstat (limited to 'odk/docs/tools.html')
| -rw-r--r-- | odk/docs/tools.html | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/odk/docs/tools.html b/odk/docs/tools.html index beea0ccf7579..8fb7535fe950 100644 --- a/odk/docs/tools.html +++ b/odk/docs/tools.html @@ -607,6 +607,12 @@ </td> </tr> <tr> + <td width=15%><code>--supersede_basic_libs</code></td> + <td width=85%> + overwrite existing basic library entries of same name. + </td> + </tr> + <tr> <td width=15%><code>-h, --help</code></td> <td width=85%> print a command line help to stdout. |