From 14af4eef44b220f8e0a05889796871d0aecc2e21 Mon Sep 17 00:00:00 2001 From: yamaoka Date: Wed, 10 Oct 2001 04:43:05 +0000 Subject: [PATCH] Synch with Oort Gnus. --- texi/ChangeLog | 4 ++++ texi/gnus-ja.texi | 10 ++++++++++ texi/gnus.texi | 10 ++++++++++ 3 files changed, 24 insertions(+) diff --git a/texi/ChangeLog b/texi/ChangeLog index 78e113a..bb51295 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-ja.texi b/texi/gnus-ja.texi index 984f5a9..f971693 100644 --- a/texi/gnus-ja.texi +++ b/texi/gnus-ja.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}} diff --git a/texi/gnus.texi b/texi/gnus.texi index 49eba2a..71b9fd8 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}} -- 1.7.10.4