Add README_AUTOMATA in EXTRA_DIST.

* src/bench/common/Makefile.am: Do that.

Add README_AUTOMATA in EXTRA_DIST.
* src/bench/common/Makefile.am: Do that.
4cf381db · Florent D'Halluin · f133d616 · 4cf381db · 4cf381db
Commit 4cf381db authored Jul 15, 2009 by Florent D'Halluin
--- a/ChangeLog
+++ b/ChangeLog
+2009-07-15  d-halluin  <d-halluin@lrde.epita.fr>
+
+	Add README_AUTOMATA in EXTRA_DIST.
+
+	* src/bench/common/Makefile.am: Do that.
+
 2009-07-15  d-halluin  <d-halluin@lrde.epita.fr>
  
 	Merge master into yavgui.

--- a/src/bench/common/Makefile.am
+++ b/src/bench/common/Makefile.am
 EXTRA_DIST = alpha.syms \
 	     bench_constructs.hh bench.mk	\
-	     bench_macros.hh
+	     bench_macros.hh \
+	     README_AUTOMATA