X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fconfiguring.texi;h=a4e9c16703b871129444ebb3a792c5f29ffcef01;hb=19f2bec879b9b03eebc8b32b67332c9ea586188d;hp=833840b31ff388af1c513ef40a5843b29de80347;hpb=44326932c8227c64a87f7a92ef16ce83c2fba2d4;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