Commit 448625b6 authored by Andreas Zwinkau's avatar Andreas Zwinkau

Fix link targeting

parent a2a1e3d9
......@@ -9,11 +9,11 @@
\newcommand\fulfills[1]{%
\AddTripleEx{#1}{pfl:is-fulfilled}{yeah}
\AddProperty{pfl:fulfills}{#1}}
\newcommand\testlink[1]{\hyperlink{#1}%
\newcommand\testlink[1]{\hyperref[#1]%
{ \GetProperty{#1}{pfl:tstid} }}
\newcommand\functionalitylink[1]{\hyperlink{#1}%
\newcommand\functionalitylink[1]{\hyperref[#1]%
{ \GetProperty{#1}{pfl:fncid} }}
\newcommand\criteriumlink[1]{\hyperlink{#1}%
\newcommand\criteriumlink[1]{\hyperref[#1]%
{ \GetProperty{#1}{pfl:crtid} }}
\newcommand\marginid[1]{\marginpar{\centering\textbf{#1}}}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment