diff options
author | Samy Mahmoudi <samy.mahmoudi@gmail.com> | 2020-04-06 18:25:24 -0700 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2020-04-06 18:26:26 -0700 |
commit | ae911ae2c9ba3b68db75cd014881ec54f92c23dc (patch) | |
tree | 62643a1cb2c12cd614e42a8eafe023632950439b | |
parent | a523b69a39d5d74f42c9ea0d142cbfec08a6fe00 (diff) | |
download | automake-ae911ae2c9ba3b68db75cd014881ec54f92c23dc.tar.gz |
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 ...".
-rw-r--r-- | bin/aclocal.in | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/aclocal.in b/bin/aclocal.in index 9a2032584..b61fed818 100644 --- 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. # |