--- server/Makefile.in.dist	2003-07-03 16:40:35.000000000 +0200
+++ server/Makefile.in	2003-07-03 16:41:19.000000000 +0200
@@ -55,7 +55,8 @@
 	tmp=export_files_unsorted.txt; \
 	rm -f $$tmp && touch $$tmp; \
 	for dir in $(EXPORT_DIRS); do \
-	    ls $$dir/*.h >> $$tmp; \
+		abs_dir=`cd $$dir && exec pwd`; \
+	    ls $$abs_dir/*.h >> $$tmp; \
 	done; \
 	sort -u $$tmp > $@; \
 	rm -f $$tmp