--- a/src/Tools/Makefile Mon Sep 29 15:11:27 1997 +0200
+++ /dev/null Thu Jan 01 00:00:00 1970 +0000
@@ -1,11 +0,0 @@
-OPTIONS= -DDEBUG
-CC = g++ $(OPTIONS)
-OBJS = qed.o
-
-.SUFFIXES: .cc .o
-
-.cc.o:
- $(CC) -c $<
-
-qed: $(OBJS)
- g++ -o qed $(OBJS)