From 18104ac1a84b61b09564bd3d8ab0948e502c51e3 Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Wed, 9 Feb 2022 16:46:38 +0100
Subject: [PATCH] ucw-ref: Fixed bug in \pageid

---
 ucw-ref.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/ucw-ref.tex b/ucw-ref.tex
index 86d41a1..8cdbc60 100644
--- a/ucw-ref.tex
+++ b/ucw-ref.tex
@@ -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}}
-- 
2.39.2