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