diff --git a/doc/easejs.texi b/doc/easejs.texi index 9fefd1e..641bd80 100644 --- a/doc/easejs.texi +++ b/doc/easejs.texi @@ -10,10 +10,11 @@ \input texinfo @c -*-texinfo-*- @c %**start of header @setfilename easejs.info -@include version.texi @settitle GNU ease.js Manual v@value{VERSION} @c %**end of header +@include version.texi + @copying This manual is for GNU ease.js, version @value{VERSION}.