diff options
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 |