From dded622434feb2a84a7d68c5a4f8efaa35d23dc6 Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Thu, 7 Dec 2000 12:42:26 +0000
Subject: Name change af2 -> phox

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index fadf78bd..65e3bac8 100644
--- a/Makefile
+++ b/Makefile
@@ -14,7 +14,7 @@
 ###########################################################################
 
 
-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
 # FIXME: automate the emacs choice to be xemacs if it can be
 # found, otherwise emacs.
 BATCHEMACS=xemacs -batch -q -no-site-file
-- 
cgit v1.2.3