diff options
author | Joel Sherrill <joel.sherrill@OARcorp.com> | 2000-05-28 18:31:01 +0000 |
---|---|---|
committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 2000-05-28 18:31:01 +0000 |
commit | 31bfb92fe7deae44eb57616743d4f35cee0b6ec7 (patch) | |
tree | 426f71b8909212ad5ea514da149bf468163f90a4 /doc/texinfo/texinfo.tex | |
parent | Change linkcolor to Blue from Cyan per patch from Trevin Beattie (diff) | |
download | rtems-31bfb92fe7deae44eb57616743d4f35cee0b6ec7.tar.bz2 |
Patch obtain from bug-texinfo mailing list from Trevin Beattie
<trevin@eyring.com> to make hyperlinks take you to the top of
a page rather than the bottom.
Diffstat (limited to '')
-rw-r--r-- | doc/texinfo/texinfo.tex | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/doc/texinfo/texinfo.tex b/doc/texinfo/texinfo.tex index c79800f4e5..5912d8e1a1 100644 --- a/doc/texinfo/texinfo.tex +++ b/doc/texinfo/texinfo.tex @@ -214,6 +214,9 @@ \normalturnoffactive % \ in index entries must not stay \, e.g., if % the page break happens to be in the middle of an example. \shipout\vbox{% + % Moved from the bottom of the page + \ifpdfmakepagedest \pdfmkdest{\the\pageno} \fi + % \ifcropmarks \vbox to \outervsize\bgroup \hsize = \outerhsize \vskip-\topandbottommargin @@ -242,8 +245,8 @@ \vskip 2\baselineskip \unvbox\footlinebox \fi - % - \ifpdfmakepagedest \pdfmkdest{\the\pageno} \fi + % Moved to the top of the page + %\ifpdfmakepagedest \pdfmkdest{\the\pageno} \fi % \ifcropmarks \egroup % end of \vbox\bgroup |