6840	6840	fi
			6841	6841
			6842	6842	aol_prefix="/usr/local/aolserver"
			6843		if test -d "$(DESTDIR)$(prefix)/modules/tcl" ; then aol_prefix="$(prefix)" ; fi
				6843	if test -d "${prefix}/modules/tcl" ; then aol_prefix="$(prefix)" ; fi
			6844	6844
			6845	6845
			6846	6846	#--------------------------------------------------------------------