diff --git a/doc/easejs.texi b/doc/easejs.texi index 8f2a36b..0435355 100644 --- a/doc/easejs.texi +++ b/doc/easejs.texi @@ -1,3 +1,4 @@ +\input texinfo @c -*-texinfo-*- @c This document is part of the GNU ease.js manual. @c Copyright (C) 2011, 2012, 2013 Mike Gerwitz @c Permission is granted to copy, distribute and/or modify this document @@ -7,7 +8,6 @@ @c Texts. A copy of the license is included in the section entitled ``GNU @c Free Documentation License''. -\input texinfo @c -*-texinfo-*- @c %**start of header @setfilename easejs.info @settitle GNU ease.js Manual v@value{VERSION}