From 832ce9aea23e81ad4bbe4b9b56edb43835476acf Mon Sep 17 00:00:00 2001
From: ccremers <ccremers@4f7d145f-a0d4-0310-ae10-d96cc04433c1>
Date: Mon, 24 May 2004 16:20:06 +0000
Subject: [PATCH] - Make dist should work now.

---
 src/Makefile.am | 29 ++++++++++++++++++++++-------
 1 file changed, 22 insertions(+), 7 deletions(-)

diff --git a/src/Makefile.am b/src/Makefile.am
index 6b5dece..4e431c5 100644
--- a/src/Makefile.am
+++ b/src/Makefile.am
@@ -7,12 +7,27 @@ BUILT_SOURCES = parser.h
 bin_PROGRAMS = scyther
 scyther_SOURCES = main.c \
 		 scanner.l parser.y \
-		 memory.c terms.c termlists.c symbols.c \
-		 knowledge.c runs.c modelchecker.c \
-		 report.c debug.c mgu.c substitutions.c \
-		 match_basic.c match_clp.c constraints.c \
-		 output.c latex.c varbuf.c tracebuf.c \
-		 attackminimize.c tac.c \
-		 compiler.c 
+		 memory.c memory.h \
+		 terms.c terms.h \
+		 termlists.c termlists.h \
+		 symbols.c symbols.h \
+		 knowledge.c knowledge.h \
+		 runs.c runs.h \
+		 modelchecker.c modelchecker.h \
+		 report.c report.h \
+		 debug.c debug.h \
+		 mgu.c mgu.h \
+		 substitutions.c substitutions.h \
+		 match_basic.c match_basic.h \
+		 match_clp.c match_clp.h \
+		 constraints.c constraints.h \
+		 output.c output.h \
+		 latex.c latex.h \
+		 varbuf.c varbuf.h \
+		 tracebuf.c tracebuf.h \
+		 attackminimize.c attackminimize.h \
+		 tac.c tac.h \
+		 compiler.c compiler.h \
+		 pheading.h
 scyther_LDADD = @LEXLIB@