Full documentation

[goredo.git] / doc / notes.texi

diff --git a/doc/notes.texi b/doc/notes.texi
index 4922f7150415d7b77c18e3a08748802d8156e605..84de611f543be7a03b90d5c3d8fe9641e4d41cd5 100644 (file)
--- a/doc/notes.texi
+++ b/doc/notes.texi
@@ -1,6 +1,9 @@
 @node Notes
 @unnumbered Implementation notes
 
+Since there are no strict rules about redo behaviour, here are some
+remarks about @command{goredo}'s one:
+
 @itemize
 
 @item @file{all} target is default