From 9410a2e2d540b44543f87fe450f1ea30dd656273 Mon Sep 17 00:00:00 2001 From: djcb Date: Fri, 20 Jul 2012 12:20:03 +0300 Subject: [PATCH] * guile: fix mu-guile.texi format (texi2dvi generation) --- 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 93e842e0..59de9a82 100644 --- a/guile/mu-guile.texi +++ b/guile/mu-guile.texi @@ -1,4 +1,4 @@ -\\input texinfo.tex @c -*-texinfo-*- +\input texinfo.tex @c -*-texinfo-*- @c %**start of header @setfilename mu-guile.info @settitle mu-guile user manual