Add warning that files are generated.

author ellson <devnull@localhost>

Tue, 18 Oct 2005 21:10:10 +0000 (21:10 +0000)

committer ellson <devnull@localhost>

Tue, 18 Oct 2005 21:10:10 +0000 (21:10 +0000)
author ellson <devnull@localhost>
Tue, 18 Oct 2005 21:10:10 +0000 (21:10 +0000)
committer ellson <devnull@localhost>
Tue, 18 Oct 2005 21:10:10 +0000 (21:10 +0000)
diff --git a/doc/info/arrows.html b/doc/info/arrows.html

index b2bb840019cbd30b43384d06bdb6dc7d867f7c40..bb7f9e492fe668a79f05d5f27ef527f5d0288784 100644 (file)
--- a/doc/info/arrows.html
+++ b/doc/info/arrows.html
@@ -1,4 +1,7 @@
  <!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
+<!--
+    This is a generated document.  Do not edit.
+-->
  <HTML VERSION="2.0">
  <HEAD>
  <TITLE>Arrow Shapes</TITLE>
author	ellson <devnull@localhost>
	Tue, 18 Oct 2005 21:10:10 +0000 (21:10 +0000)
committer	ellson <devnull@localhost>
	Tue, 18 Oct 2005 21:10:10 +0000 (21:10 +0000)