diff options
| -rw-r--r-- | docs/index.html | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/docs/index.html b/docs/index.html index 293579b..231ecff 100644 --- a/docs/index.html +++ b/docs/index.html @@ -1087,8 +1087,6 @@ local-pkg-list: $(LOCAL_PKG_LIST)</pre> <dt>make update</dt> <dd> - for internal use only! - – update the version numbers of all packages, download the new versions and note their checksums </dd> @@ -1096,16 +1094,12 @@ local-pkg-list: $(LOCAL_PKG_LIST)</pre> <dt>make update UPDATE_DRYRUN=true</dt> <dd> - for internal use only! - – show list of update candidates without downloading </dd> <dt>make update-package-foo</dt> <dd> - for internal use only! - – update the version numbers of package foo, download the new version and note its checksum </dd> @@ -1113,16 +1107,12 @@ local-pkg-list: $(LOCAL_PKG_LIST)</pre> <dt>make update-checksum-foo</dt> <dd> - for internal use only! - – download package foo and update its checksum </dd> <dt>make cleanup-style</dt> <dd> - for internal use only! - – cleanup coding style </dd> |