From bd4f109326b972e7a4962a99e49b6baeac037117 Mon Sep 17 00:00:00 2001 From: djcb Date: Sun, 9 Jun 2013 18:24:11 +0300 Subject: [PATCH] * mu-guile.texi: minor change; may fix compilation --- guile/mu-guile.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/guile/mu-guile.texi b/guile/mu-guile.texi index bfdc1064..83ff0b59 100644 --- a/guile/mu-guile.texi +++ b/guile/mu-guile.texi @@ -28,7 +28,7 @@ Documentation License.'' @titlepage @title @t{mu-guile} - extending @t{mu} with Guile Scheme -@subtitle{version @value{mu-version}} +@subtitle version @value{mu-version} @author Dirk-Jan C. Binnema @c The following two commands start the copyright page.