2001-10-09 22:00:00 ShengHuo ZHU <zsh@cs.rochester.edu>

	* gnus.texi: Add href and bookmarks for pdf version.

diff --git a/texi/ChangeLog b/texi/ChangeLog
index 78e113a..bb51295 100644 (file)
--- a/texi/ChangeLog
+++ b/texi/ChangeLog
@@ -1,3 +1,7 @@
+2001-10-09 22:00:00  ShengHuo ZHU  <zsh@cs.rochester.edu>
+
+       * gnus.texi: Add href and bookmarks for pdf version.
+
 2001-10-06 08:00:00  ShengHuo ZHU  <zsh@cs.rochester.edu>
 
        * Makefile.in (uninstall): Add uninstall.

diff --git a/texi/gnus.texi b/texi/gnus.texi
index 8b32c49..a86dff0 100644 (file)
--- 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}}