diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/index.html | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/doc/index.html b/doc/index.html index d4bc69a..2df91d7 100644 --- a/doc/index.html +++ b/doc/index.html @@ -761,6 +761,16 @@ sudo gcc_select gcc42</pre> each with up to 2 compiler processes running in parallel </dd> + <dt>make check-requirements</dt> + + <dd> + check most of the + <a href="#requirements">requirements</a> + if necessary + – executed automatically + before building packages + </dd> + <dt>make download</dt> <dd> |