diff options
Diffstat (limited to 'man/repoman.1')
-rw-r--r-- | man/repoman.1 | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/man/repoman.1 b/man/repoman.1 index 7b729567a..c20b6d05c 100644 --- a/man/repoman.1 +++ b/man/repoman.1 @@ -37,6 +37,9 @@ Ignore arch-specific failures (where arch != host) \fB\-I\fR, \fB\-\-ignore\-masked\fR Ignore masked packages (not allowed with commit mode) .TP +\fB\-\-include\-dev\fR +Include dev profiles in dependency checks. +.TP \fB\-\-without\-mask\fR Behave as if no package.mask entries exist (not allowed with commit mode) .TP |