# HG changeset patch
# User Rik <rik@octave.org>
# Date 1375650866 25200
# Node ID 1d5c0c9b3e990e9bddb3fe083835ae0bc00b63cc
# Parent  c3bd7314643ce901a73bc79de08556a53ed4ee9d
octave.texi: Adjust Table of Contents right margin using direct TeX command.

* doc/interpreter/octave.texi: Set global parameter contentsrightmargin to 0
for TOC.

diff -r c3bd7314643c -r 1d5c0c9b3e99 doc/interpreter/octave.texi
--- a/doc/interpreter/octave.texi	Sun Aug 04 13:22:53 2013 -0700
+++ b/doc/interpreter/octave.texi	Sun Aug 04 14:14:26 2013 -0700
@@ -16,8 +16,6 @@
 % along with Octave; see the file COPYING.  If not, see
 % <http://www.gnu.org/licenses/>.
 
-\def\fixcontentsmargin{\contentsrightmargin = 0pt}
-
 \input texinfo
 
 @setfilename octave.info
@@ -37,9 +35,10 @@
 @c --------------------------------------------------------
 
 @setchapternewpage odd
-@iftex
-@fixcontentsmargin
-@end iftex
+@c Fix TOC margins for printed manual
+@tex
+{\globaldefs = 1 \contentsrightmargin = 0pt}
+@end tex
 
 @c Settings for small book format:
 @c ------------------------------