diff options
| author | Erich Eckner <git@eckner.net> | 2017-12-14 14:57:10 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-12-14 14:57:10 +0100 |
| commit | d7064636f1cff937f4489bce0bfe41dfc44a3a6c (patch) | |
| tree | 7a24840b09c56ec14700a3ad43574333088e0b99 | |
| parent | b6a91452cb178ec5293a7e7cfa0a138a02e42713 (diff) | |
| download | Make-d7064636f1cff937f4489bce0bfe41dfc44a3a6c.tar.xz | |
Make.1.in: remove old option -a from man page
| -rw-r--r-- | Make.1.in | 3 |
1 files changed, 0 insertions, 3 deletions
@@ -19,9 +19,6 @@ If absent, use \fIMachdatei\fP in current directory or first parent containing \ read/store checksums in \fIPrüfsummendatei\fP. If absent, use \fI.summen\fP in same directory as \fIMachdatei\fP. .TP -.B "\-a, \-\-alleSummenErneuern" -refresh all checksums -.TP .B "\-l, \-\-leise" print nothing but error messages and (if \fB-A\fP omitted) commands .TP |