diff --git a/doc/texinfo.tex b/doc/texinfo.tex
index 9631275..763319e 100644
--- a/doc/texinfo.tex
+++ b/doc/texinfo.tex
@@ -3,7 +3,7 @@
 % Load plain if necessary, i.e., if running under initex.
 \expandafter\ifx\csname fmtname\endcsname\relax\input plain\fi
 %
-\def\texinfoversion{2012-01-03.18}
+\def\texinfoversion{2012-09-21.12}
 %
 % Copyright (C) 1985, 1986, 1988, 1990, 1991, 1992, 1993, 1994, 1995,
 % 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004, 2005, 2006,
@@ -1965,7 +1965,7 @@ end
 \def\definetextfontsizexi{%
 % Text fonts (11.2pt, magstep1).
 \def\textnominalsize{11pt}
-\edef\mainmagstep{\magstephalf}
+\edef\mainmagstep{1400}
 \setfont\textrm\rmshape{10}{\mainmagstep}{OT1}
 \setfont\texttt\ttshape{10}{\mainmagstep}{OT1TT}
 \setfont\textbf\bfshape{10}{\mainmagstep}{OT1}
@@ -2098,7 +2098,7 @@ end
 \def\definetextfontsizex{%
 % Text fonts (10pt).
 \def\textnominalsize{10pt}
-\edef\mainmagstep{1000}
+\edef\mainmagstep{1400}
 \setfont\textrm\rmshape{10}{\mainmagstep}{OT1}
 \setfont\texttt\ttshape{10}{\mainmagstep}{OT1TT}
 \setfont\textbf\bfshape{10}{\mainmagstep}{OT1}