summaryrefslogtreecommitdiffstats
path: root/doc
diff options
context:
space:
mode:
authorJoel Sherrill <joel.sherrill@OARcorp.com>2000-05-28 18:31:01 +0000
committerJoel Sherrill <joel.sherrill@OARcorp.com>2000-05-28 18:31:01 +0000
commit31bfb92fe7deae44eb57616743d4f35cee0b6ec7 (patch)
tree426f71b8909212ad5ea514da149bf468163f90a4 /doc
parent3dacf353f4842c80d41e70abb733cd38846ee936 (diff)
downloadrtems-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 'doc')
-rw-r--r--doc/texinfo/texinfo.tex7
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