☰

Dieselben Bezeichnerwarnungen mit Hyperref und ND3

tag-icon • tag-icon hyperref
Dieselben Bezeichnerwarnungen mit Hyperref und ND3

Ich erhalte Fehlermeldungen, wenn ich hyperrefdas nd3Paket kombiniere (für die Formatierung logischer Ableitungen), zB

„pdfTeX-Warnung (ext4): Ziel mit derselben Kennung (name{@NDlines.1}) wurde bereits verwendet, Duplikate werden ignoriert.“

Ich möchte das Problem beheben. Kann mir also bitte jemand dabei helfen, eine Möglichkeit zu finden, das nd3Paket zu überarbeiten oder die Fehler anderweitig zu vermeiden?

Ich sehe aus anderen Beiträgen, dass andere Pakete in Kombination mit ähnliche Probleme haben hyperref, konnte hier aber nichts finden, was mir weiterhelfen würde.

Ein MWE:

\documentclass[10pt]{book}
\usepackage{nd3}

\usepackage{hyperref}
\begin{document}

Blah

\begin{ND}
\ndl{}{P}{}
\end{ND}

Blah

\begin{ND}
\ndl{}{Q}{}
\end{ND}

Blah

\end{document}

Antwort1

Sie müssen hyperref eine eindeutige alternative Darstellung für den Zeilenzähler geben. Beispiel:

\documentclass[10pt]{book}
\usepackage{nd3}

\usepackage{hyperref}
\makeatletter
\newcommand\theH@NDlines
 {\the@NDnumber.\the@NDlines}
 \makeatother
\begin{document}

Blah

\begin{ND}
\ndl{}{P}{}
\end{ND}

Blah

\begin{ND}
\ndl{}{Q}{}
\end{ND}

Blah

\end{document}

verwandte Informationen