changeset 17172:1d5c0c9b3e99

octave.texi: Adjust Table of Contents right margin using direct TeX command. * doc/interpreter/octave.texi: Set global parameter contentsrightmargin to 0 for TOC.
author Rik <rik@octave.org>
date Sun, 04 Aug 2013 14:14:26 -0700
parents c3bd7314643c
children 3a23cbde59d5
files doc/interpreter/octave.texi
diffstat 1 files changed, 4 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- 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 ------------------------------