From e0145fc17a0d7a649995962dbc66f0122bdfecc6 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Wed, 23 Aug 2006 17:19:47 +0000 Subject: Syntax strictitude --- Makefile.devel | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'Makefile.devel') diff --git a/Makefile.devel b/Makefile.devel index eb1e307f..8028be1c 100644 --- a/Makefile.devel +++ b/Makefile.devel @@ -153,7 +153,7 @@ CVSNAME = ProofGeneral CVSROOT=$(shell cat CVS/Root) # Default emacs for compiling/testing -EMACS=$(shell if [ -z "`which xemacs`"]; then echo emacs; else echo xemacs; fi) +EMACS=$(shell if [ -z "`which xemacs`" ]; then echo emacs; else echo xemacs; fi) # Emacs for batch compiling BATCHEMACS=$(EMACS) -batch -q -no-site-file -- cgit v1.2.3