patch [ 1274630 ] documentation fixes

diff --git a/Doc/dist/dist.tex b/Doc/dist/dist.tex
index c0a29beedff476433c8bcb2cd0a2f9e82bff230e..7339701280f20735c54283e4ebfba2279fea6b35 100644 (file)
--- a/Doc/dist/dist.tex
+++ b/Doc/dist/dist.tex
@@ -1754,7 +1754,7 @@ distributions named on the command line for the invocation including
 the \command{upload} command are uploaded.
 
 The \command{upload} command uses the username and password stored in
-in the file \file{\$HOME/.pypirc}, see section~\ref{pypirc}.
+the file \file{\$HOME/.pypirc}, see section~\ref{pypirc}.
 
 \chapter{Examples}
 \label{examples}