summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authordjcb <djcb@djcbsoftware.nl>2015-09-22 19:00:41 +0300
committerdjcb <djcb@djcbsoftware.nl>2015-09-22 19:00:41 +0300
commit403e2dbc2f1c1780cc5c16cf9397f111e137207f (patch)
tree7d432eacfae48b6793a94086be8df9b4f1e77b6d
parent518b1600258f5d35c811f7a576ac71b69cf4251c (diff)
Bump version to 0.9.9.13v0.9.13
-rw-r--r--NEWS.org10
-rw-r--r--configure.ac4
2 files changed, 7 insertions, 7 deletions
diff --git a/NEWS.org b/NEWS.org
index e3e63af..3a8250d 100644
--- a/NEWS.org
+++ b/NEWS.org
@@ -2,14 +2,14 @@
* NEWS (user visible changes)
-** 0.9.9.13 (unreleased)
+** 0.9.9.13
*** contributors
- Attila, Charles-H.Schulz, David C Sterrat, Dirk-Jan C. Binnema,
- Eike Kettner, Florian Lindner, Foivos S. Zakkak, Gour, KOMURA
- Takaaki, Pan Jie, Phil Hagelberg, thdox, Tiago Saboga, Titus von
- der Malsburg
+ Attila, Daniele Pizzolli, Charles-H.Schulz, David C Sterrat,
+ Dirk-Jan C. Binnema, Eike Kettner, Florian Lindner, Foivos
+ S. Zakkak, Gour, KOMURA Takaaki, Pan Jie, Phil Hagelberg, thdox,
+ Tiago Saboga, Titus von der Malsburg
(and of course all people who reported issues, provided
suggestions etc.)
diff --git a/configure.ac b/configure.ac
index f09a0f0..d1edbcf 100644
--- a/configure.ac
+++ b/configure.ac
@@ -14,7 +14,7 @@
## along with this program; if not, write to the Free Software Foundation,
## Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
-AC_INIT([mu],[0.9.12],[https://github.com/djcb/mu/issues],[mu])
+AC_INIT([mu],[0.9.13],[https://github.com/djcb/mu/issues],[mu])
AC_CONFIG_HEADERS([config.h])
AC_CONFIG_SRCDIR([mu/mu.cc])
# libtoolize wants to put some stuff in here; if you have an old
@@ -325,7 +325,7 @@ echo
if test "x$have_makeinfo" != "xyes"; then
echo "* You do not seem to have the makeinfo program; if you are building from git"
echo " you need that to create documentation for guile and emacs. It is in the"
- echo " texinfo package in debian/ubuntu (ie., apt-get install texinfo)"
+ echo " texinfo package in debian/ubuntu/fedora/... "
echo
fi