From b708373ff824a83fb111d0dbe190851ce4514d75 Mon Sep 17 00:00:00 2001
From: ceriel <none@none>
Date: Tue, 7 Mar 1989 10:00:45 +0000
Subject: [PATCH] use $(REFER) instead of refer

---
 doc/ceg/Makefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/doc/ceg/Makefile b/doc/ceg/Makefile
index 37a65b7fb..4a66a1f62 100644
--- a/doc/ceg/Makefile
+++ b/doc/ceg/Makefile
@@ -1,6 +1,7 @@
 PIC=pic
 TBL=tbl
 TARGET=-Tlp
+REFER=refer
 
 ../ceg.doc:	ceg.tr ceg.ref
-	$(PIC) $(TARGET) ceg.tr | refer -e -p ceg.ref | $(TBL) > $@
+	$(PIC) $(TARGET) ceg.tr | $(REFER) -e -p ceg.ref | $(TBL) > $@