From b60748f2acd3b1f0a6aa4b04f4aef8a10462018a Mon Sep 17 00:00:00 2001 From: ShengHuo ZHU Date: Wed, 10 Oct 2001 02:45:45 +0000 Subject: [PATCH] 2001-10-09 22:00:00 ShengHuo ZHU * gnus.texi: Add href and bookmarks for pdf version. --- texi/ChangeLog | 4 ++++ texi/gnus.texi | 10 ++++++++++ 2 files changed, 14 insertions(+) diff --git a/texi/ChangeLog b/texi/ChangeLog index 78e113a03..bb512950d 100644 --- a/texi/ChangeLog +++ b/texi/ChangeLog @@ -1,3 +1,7 @@ +2001-10-09 22:00:00 ShengHuo ZHU + + * gnus.texi: Add href and bookmarks for pdf version. + 2001-10-06 08:00:00 ShengHuo ZHU * Makefile.in (uninstall): Add uninstall. diff --git a/texi/gnus.texi b/texi/gnus.texi index 8b32c496a..a86dff0d2 100644 --- a/texi/gnus.texi +++ b/texi/gnus.texi @@ -23,6 +23,12 @@ \usepackage{pixidx} \input{gnusconfig.tex} +\ifx\pdfoutput\undefined +\else +\usepackage[pdftex,bookmarks]{hyperref} +\pdfcompresslevel=9 +\fi + \makeindex \begin{document} @@ -33,7 +39,11 @@ \newcommand{\gnusbackslash}{/} \newcommand{\gnusref}[1]{``#1'' on page \pageref{#1}} +\ifx\pdfoutput\undefined \newcommand{\gnusuref}[1]{\gnustt{#1}} +\else +\newcommand{\gnusuref}[1]{\href{#1}{\gnustt{#1}}} +\fi \newcommand{\gnusxref}[1]{See ``#1'' on page \pageref{#1}} \newcommand{\gnuspxref}[1]{see ``#1'' on page \pageref{#1}} -- 2.34.1