From 3d3cb42982b0380ebbdd8e74b69f1cb11c4b37d0 Mon Sep 17 00:00:00 2001 From: Mike Gerwitz Date: Sun, 22 Dec 2013 00:50:19 -0500 Subject: [PATCH] Corrected @setfilename for easejs.texi --- doc/easejs.texi | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/easejs.texi b/doc/easejs.texi index 0437efd..85f3f1b 100644 --- a/doc/easejs.texi +++ b/doc/easejs.texi @@ -1,6 +1,6 @@ \input texinfo @c -*-texinfo-*- @c %**start of header -@setfilename manual.info +@setfilename easejs.info @include version.texi @settitle ease.js Manual v@value{VERSION} @c %**end of header