From c37b82efe4402399da2daa4fba24415f5066b515 Mon Sep 17 00:00:00 2001 From: Martin Mares Date: Tue, 5 Jun 2018 19:37:12 +0200 Subject: [PATCH] Added a common facility for issuing warnings --- ucw-ref.tex | 2 +- ucwmac.tex | 2 ++ 2 files changed, 3 insertions(+), 1 deletion(-) diff --git a/ucw-ref.tex b/ucw-ref.tex index 66b6372..e90b642 100644 --- 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 6983e6e..758d478 100644 --- 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 -- 2.39.2