X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fconfiguring.texi;h=a4e9c16703b871129444ebb3a792c5f29ffcef01;hb=636e8d47d0ca99a0aedb3c05d31876ec4092c1e7;hp=833840b31ff388af1c513ef40a5843b29de80347;hpb=4983f24015320207659964e39674232160a48de6;p=pspp-builds.git

diff --git a/doc/configuring.texi b/doc/configuring.texi
index 833840b3..a4e9c167 100644
--- a/doc/configuring.texi
+++ b/doc/configuring.texi
@@ -193,7 +193,7 @@ briefly in the table below:
 Define a driver in terms of other drivers.
 
 @item macro definitions
-Define environment variables local to the the output driver
+Define environment variables local to the output driver
 configuration file.
 
 @item device definitions