diff options
Diffstat (limited to 'man')
-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 a4a92a731..ee911dd73 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 |