Added a common facility for issuing warnings

diff --git a/ucw-ref.tex b/ucw-ref.tex
index 66b63724a135b67fddda08c89bfcb74fca2d4ed9..e90b642e4b81120883177309e03dce7ea0e43792 100644 (file)
--- a/ucw-ref.tex
+++ b/ucw-ref.tex
@@ -23,7 +23,7 @@
 \def\delayedwriteid#1#2{\write\ids{\string\iddef{#1}{#2}{\refcurrentfile}}}
 
 % Used in auxiliary files
-\def\iddef#1#2#3{\ifcsname id:#1\endcsname\immediate\write16{*** Warning: Identifier #1 re-defined ***}\else
+\def\iddef#1#2#3{\ifcsname id:#1\endcsname\ucwwarn{Identifier #1 re-defined}\else
 \expandafter\def\csname id:#1\endcsname{#2}%
 \expandafter\def\csname ff:#1\endcsname{#3}%
 \fi}

diff --git a/ucwmac.tex b/ucwmac.tex
index 6983e6ec9bbb093ffffa0c51582a01e607603413..758d4787d1bfdc90ba819a6bd047ac49e4326b5e 100644 (file)
--- a/ucwmac.tex
+++ b/ucwmac.tex
@@ -28,6 +28,8 @@
 \long\def\prependef#1#2{\expandafter\def\expandafter#1\expandafter{#2#1}}
 \long\def\appendef#1#2{\expandafter\def\expandafter#1\expandafter{#1#2}}
 
+\def\ucwwarn#1{\immediate\write16{*** Warning: #1 ***}}
+
 %%% Page size and margins %%%
 
 % If you modify these registers, call \setuppage afterwards