#99053# add new option for pkgchk

odk/docs/tools.html

@@ -606,6 +606,12 @@
             don't touch unorc (Unix), uni.ini (Windows).
           </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%>