diff options
| author | Juergen Schmidt <jsc@openoffice.org> | 2002-08-14 08:53:02 +0000 |
|---|---|---|
| committer | Juergen Schmidt <jsc@openoffice.org> | 2002-08-14 08:53:02 +0000 |
| commit | 9bebfbe1188ee125a09ea64ad2a06503aad11b2a (patch) | |
| tree | 67e991c6a1c0f8d8a8d64c6e9b894c1843fdbce1 /odk/docs/tools.html | |
| parent | 6fb6680985fb38b3cd96e2ad3c51181a6669677d (diff) | |
#99053# add new option for pkgchk
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. |