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