% This tiny package invokes ``hyperref'' with appropriate options.
% Three modes are provided:
% if \fppdf is defined, we configure ``hyperref'' for producing nice PDF output via dvipdfm.
% otherwise, if WhizzyTeX is active, we do configure ``softref'' for producing DVI output
% containing ``advi''-style hyperlinks.
% otherwise, we configure nothing.
\ProvidesPackage{fppdf}
\@ifundefined{fppdf}{
\newcommand{\texorpdfstring}[2]{#1}
\newcommand{\href}[2]{\url{#1} #2}
\@ifundefined{WhizzyTeX}{
% PostScript output.
\typeout{No hyperlinks.}
}{
% WhizzyTeX output.
\typeout{Hyperlinks in advi style.}
%
% Définissons les commandes \softlink et \softtarget, employées par locallabel,
% de façon à ce que les labels de preuves deviennent des hyperliens.
%
\edef\hyper@quote{\string"}
\edef\hyper@sharp{\string#}
\def \softlink #1#2{\special
{html:}#2\special
{html:}}
\def \softtarget #1#2{\special
{html:}#2\special
{html:}}
}
}{
% PDF output.
\typeout{Hyperlinks in dvipdfm style.}
\usepackage[dvipdfm,bookmarks=true,bookmarksopen=true,colorlinks=true,linkcolor=blue,citecolor=blue,urlcolor=blue]{hyperref}
\let\softlink\hyperlink
\let\softtarget\hypertarget
}