# -*- sh -*-

#This is a UNIX-only makefile.  For other systems, get a makefile from
#src/mkfiles/

@SET_MAKE@

jed:
	cd src; $(MAKE) jed
	@echo If you have X, try 'make xjed'
all:
	cd src; $(MAKE) all
xjed:
	cd src; $(MAKE) xjed
rgrep:
	cd src; $(MAKE) rgrep
clean:
	/bin/rm -f *~
	cd src; $(MAKE) clean
#
distclean:
	/bin/rm -f *~ Makefile config.status config.log config.cache files.pck
	cd src; $(MAKE) distclean
#
install:
	cd src; $(MAKE) install
#
getmail:
	cd src; $(MAKE) getmail
	@echo getmail created.  Copy it to JED_ROOT/bin.

