--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Tools/Makefile Tue Dec 20 13:24:04 1994 +0100
@@ -0,0 +1,13 @@
+OPTIONS= -DDEBUG
+CC = g++ $(OPTIONS)
+OBJS = qed.o
+
+.SUFFIXES: .cc .o
+
+.cc.o:
+ $(CC) -c $<
+
+qed: $(OBJS)
+ g++ -o qed $(OBJS)
+
+qed.o: qed.cc