From 31bfb92fe7deae44eb57616743d4f35cee0b6ec7 Mon Sep 17 00:00:00 2001 From: Joel Sherrill Date: Sun, 28 May 2000 18:31:01 +0000 Subject: Patch obtain from bug-texinfo mailing list from Trevin Beattie to make hyperlinks take you to the top of a page rather than the bottom. --- doc/texinfo/texinfo.tex | 7 +++++-- 1 file 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 -- cgit v1.2.3