--- bin/aclocal.in.orig	2018-07-08 22:34:52.887291000 +0200
+++ bin/aclocal.in	2018-07-08 22:34:11.100194000 +0200
@@ -284,7 +284,7 @@
 	    {
 	      # $dest does not exist.  We create an empty one just to
 	      # run diff, and we erase it afterward.  Using the real
-	      # the destination file (rather than a temporary file) is
+	      # destination file (rather than a temporary file) is
 	      # good when diff is run with options that display the
 	      # file name.
 	      #
