From d7064636f1cff937f4489bce0bfe41dfc44a3a6c Mon Sep 17 00:00:00 2001
From: Erich Eckner <git@eckner.net>
Date: Thu, 14 Dec 2017 14:57:10 +0100
Subject: Make.1.in: remove old option -a from man page

---
 Make.1.in | 3 ---
 1 file changed, 3 deletions(-)

diff --git a/Make.1.in b/Make.1.in
index 08e8e54..a18f18a 100644
--- a/Make.1.in
+++ b/Make.1.in
@@ -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
-- 
cgit v1.2.3-54-g00ecf