diff options
| author | Erich Eckner <git@eckner.net> | 2017-12-14 14:58:19 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2017-12-14 14:58:19 +0100 |
| commit | 284addb3e31caaa129cd8010141932d8bd17ed67 (patch) | |
| tree | ef9323f5f0cf8bae6456b92cddce1d9135a0e4eb /Make.1.in | |
| parent | d7064636f1cff937f4489bce0bfe41dfc44a3a6c (diff) | |
| download | Make-284addb3e31caaa129cd8010141932d8bd17ed67.tar.xz | |
Option -w|--warten neu
Diffstat (limited to 'Make.1.in')
| -rw-r--r-- | Make.1.in | 3 |
1 files changed, 3 insertions, 0 deletions
@@ -24,6 +24,9 @@ print nothing but error messages and (if \fB-A\fP omitted) commands .TP .B "\-u, \-\-unsicher" accept running jobs outside of directory of \fIAusgabedatei\fP or \fIPrüfsummendatei\fP +.TP +.B "\-w, \-\-warten" +wait for user input on error .SH MACHDATEI SYNTAX \fB#\fP starts comments, empty lines are ignored. .PP |