Manual.md: fix definition of skiprdeps

Signed-off-by: Jürgen Buchmüller <pullmoll@t-online.de>
This commit is contained in:
Jürgen Buchmüller 2018-04-10 19:27:50 +02:00
parent 4847e250c4
commit 3f2456473c
No known key found for this signature in database
GPG key ID: 6764EC32352D0647

View file

@ -530,7 +530,7 @@ their reverse dependencies. You need to specify all dependencies in the `depends
need to set this.
- `skiprdeps` If set, contains the list of filenames specified by their absolute path in
the `$DESTDIR` which will not be scanned for reverse dependencies. This may be useful to
the `$DESTDIR` which will not be scanned for runtime dependencies. This may be useful to
skip files which are not meant to be run or loaded on the host but are to be sent to some
target device or emulation.