diff --git a/ChangeLog b/ChangeLog index a7c8500c5..344b77304 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,7 @@ 2003-06-26 Alexandre Duret-Lutz + * configure.ac: Bump version to 0.0b. + * INSTALL: New file. * src/tgba/ltl2tgba.hh, src/tgba/ltl2tgba.cc: Move ... diff --git a/configure.ac b/configure.ac index d654f6602..3619dfebc 100644 --- a/configure.ac +++ b/configure.ac @@ -1,5 +1,5 @@ AC_PREREQ([2.57]) -AC_INIT([spot], [0.1]) +AC_INIT([spot], [0.0b]) AC_CONFIG_AUX_DIR([tools]) AM_INIT_AUTOMAKE([foreign nostdinc 1.7.3]) diff --git a/src/tgbaalgos/Makefile.am b/src/tgbaalgos/Makefile.am index 48e638471..1fc7ff6e5 100644 --- a/src/tgbaalgos/Makefile.am +++ b/src/tgbaalgos/Makefile.am @@ -13,4 +13,3 @@ libtgbaalgos_la_SOURCES = \ dotty.cc \ ltl2tgba.cc \ save.cc -