From 54ad7b5ca656e2a0ee955fa3fa36f2605bd507a2 Mon Sep 17 00:00:00 2001
From: Mike Gerwitz <mike@mikegerwitz.com>
Date: Wed, 16 Mar 2011 00:35:33 -0400
Subject: [PATCH] Added copyright to HTML manual

---
 doc/manual.texi | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/doc/manual.texi b/doc/manual.texi
index 018fd8a..6b3bb69 100644
--- a/doc/manual.texi
+++ b/doc/manual.texi
@@ -37,8 +37,6 @@ Free Documentation License".
 @ifnottex
 @node Top
 @top Main
-
-This manual is for ease.js, version 0.1.0-pre.
 @end ifnottex
 
 @menu
@@ -49,6 +47,11 @@ This manual is for ease.js, version 0.1.0-pre.
 * License::      Document License
 @end menu
 
+@ifnottex
+
+@insertcopying
+@end ifnottex
+
 @include ./about.texi
 @include ./integration.texi
 @include ./classes.texi