diff -r 30c5179f296b -r eabbe162e32e src/work/athos/makefile
--- a/src/work/athos/makefile	Wed Apr 07 11:02:00 2004 +0000
+++ b/src/work/athos/makefile	Wed Apr 07 17:42:05 2004 +0000
@@ -4,7 +4,7 @@
 CC=$(CXX)
 #LEDAROOT ?= /ledasrc/LEDA-4.1
 #BOOSTROOT ?= /home/marci/boost
-INCLUDEDIRS ?= -I../../include -I.. -I../{marci,jacint,alpar,klao,akos,athos} #-I$(BOOSTROOT)
+INCLUDEDIRS ?= -I../../include -I.. -I../{marci,jacint,alpar,athos,akos,klao} #-I$(BOOSTROOT)
 #LEDAINCLUDE ?= -I$(LEDAROOT)/incl
 CXXFLAGS = -g -O -W -Wall $(INCLUDEDIRS) -ansi -pedantic