]> mj.ucw.cz Git - ucwmac.git/commitdiff
ucw-ref: Fixed bug in \pageid master
authorMartin Mares <mj@ucw.cz>
Wed, 9 Feb 2022 15:46:38 +0000 (16:46 +0100)
committerMartin Mares <mj@ucw.cz>
Wed, 9 Feb 2022 16:01:23 +0000 (17:01 +0100)
ucw-ref.tex

index 86d41a19c3dc67d14a68ef7dc9c231ec1012e952..8cdbc609d6f865c80db06ad876f7cb80bf9fb954 100644 (file)
@@ -65,5 +65,5 @@
 \def\ref#1#2{\reflink{#1}{#2}\relax}
 
 % Define an identifier of type page pointing to the current page
-\def\pageid#1{\delayedwriteid{page#1}{\the\count0}\destpage{page#1}}
+\def\pageid#1{\delayedwriteid{page:#1}{\the\count0}\destpage{page:#1}}
 \def\pageref{\ref{page}}