From 4186cd3df2cfe21fda698a384cb28123e2e6ca32 Mon Sep 17 00:00:00 2001 From: Fred Drake Date: Wed, 18 Feb 1998 17:21:09 +0000 Subject: Add named destinations for \label{} in the PDF. Fix \email{} so it doesn't rely on \url{}. --- Doc/myformat.sty | 14 +++++++++++--- 1 file changed, 11 insertions(+), 3 deletions(-) diff --git a/Doc/myformat.sty b/Doc/myformat.sty index 56b3259..1e4ef09 100644 --- a/Doc/myformat.sty +++ b/Doc/myformat.sty @@ -26,8 +26,16 @@ \RequirePackage{times}\typeout{Using times fonts instead of Computer Modern.} -% for PDF output, use maximal compression: -\@ifundefined{pdfannotlink}{}{\pdfcompresslevel=9} +% for PDF output, use maximal compression, revise \label{} to support named +% targets for later linking operations. +\@ifundefined{pdfannotlink}{}{% + \pdfcompresslevel=9 + \let\OldLabel=\label + \renewcommand{\label}[1]{% + \OldLabel{#1}% + {\pdfdest name {#1} fit}% + } +} % Increase printable page size (copied from fullpage.sty) \topmargin 0pt @@ -324,7 +332,7 @@ \Black% Turn it back off; these are declarative \pdfendlink}}% and don't appear bound to the current }% formatting "box". -\let\email=\code +\newcommand{\email}[1]{\mbox{\small\textsf{#1}}} \newcommand{\varvars}[1]{{\def\,{\/{\char`\,}}\var{#1}}} -- cgit v0.12