[PATCH] doc: "the the"

[Claus Assmann]

[Resending to hopefully the right(?) address, at least according
to README]

--- tools.texi-	Sat May 19 18:52:35 2018
+++ tools.texi	Sat May 19 18:52:45 2018
@@ -290,7 +290,7 @@
 Apply the configuration settings listed in @var{file} to the
 configuration files.  If @var{file} has no suffix and no slashes the
 command first tries to read a file with the suffix @code{.prf} from
-the the data directory (@code{gpgconf --list-dirs datadir}) before it
+the data directory (@code{gpgconf --list-dirs datadir}) before it
 reads the file verbatim.  A profile is divided into sections using the
 bracketed  component name.  Each section then lists the option which
 shall go into the respective configuration file.
--- gpgconf.1-	Sat May 19 18:52:27 2018
+++ gpgconf.1	Sat May 19 18:53:12 2018
@@ -84,7 +84,7 @@
 Apply the configuration settings listed in \fIfile\fR to the
 configuration files.  If \fIfile\fR has no suffix and no slashes the
 command first tries to read a file with the suffix \fB.prf\fR from
-the the data directory (\fBgpgconf --list-dirs datadir\fR) before it
+the data directory (\fBgpgconf --list-dirs datadir\fR) before it
 reads the file verbatim.  A profile is divided into sections using the
 bracketed  component name.  Each section then lists the option which
 shall go into the respective configuration file.