From dded622434feb2a84a7d68c5a4f8efaa35d23dc6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 7 Dec 2000 12:42:26 +0000
Subject: Name change af2 -> phox

---
 Makefile.devel | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.devel')

diff --git a/Makefile.devel b/Makefile.devel
index 113e2d1b..41486a5a 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -181,7 +181,7 @@ FILES_NONCVS = TAGS
 DISTINSTALLDIR=/export/local/share/elisp
 
 # Copied from distributed Makefile
-ELISP_DIRS=generic lego coq isa isar plastic demoisa hol98 af2 twelf acl2
+ELISP_DIRS=generic lego coq isa isar plastic demoisa hol98 phox twelf acl2
 SUBDIRS=$(ELISP_DIRS) etc doc html images
 
 PWD=$(shell pwd)
-- 
cgit v1.2.3