Added Copyright notice.

[bpt/guile.git] / doc / ref / tools.texi

diff --git a/doc/ref/tools.texi b/doc/ref/tools.texi
index 738db5a..f2116dd 100644 (file)
--- a/doc/ref/tools.texi
+++ b/doc/ref/tools.texi
@@ -1,3 +1,9 @@
+@c -*-texinfo-*-
+@c This is part of the GNU Guile Reference Manual.
+@c Copyright (C)  1996, 1997, 2000, 2001, 2002, 2003, 2004
+@c   Free Software Foundation, Inc.
+@c See the file guile.texi for copying conditions.
+
 @page
 @node Miscellaneous Tools
 @chapter Miscellaneous Tools