diff --git a/doc/hoxsl.texi b/doc/hoxsl.texi index a8060a7..75ea336 100644 --- a/doc/hoxsl.texi +++ b/doc/hoxsl.texi @@ -2,11 +2,12 @@ @c %**start of header @setfilename hoxsl.info @documentencoding UTF-8 -@settitle hoxsl Manual v@value{VERSION} -@c %**end of header @include version.texi +@settitle hoxsl Manual v@value{VERSION} +@c %**end of header + @copying This manual is for hoxsl, version @value{VERSION}.