cosmetics: typo in comment.

This change fixes https://bugs.gnu.org/32100.

* bin/aclocal.in (install_file): remove duplicate "the" in
"Using the real the destination file ...".

diff --git a/bin/aclocal.in b/bin/aclocal.in
index 9a2032584a6f42bbca8dcc7973aa53218ba28808..b61fed81801bf56eb1f1397118205cb9afccf86a 100644 (file)
--- a/bin/aclocal.in
+++ b/bin/aclocal.in
@@ -284,7 +284,7 @@ sub install_file ($$)
            {
              # $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.
              #