* docs/grub.texi (play): Document that zero pitches produce rests.

diff --git a/ChangeLog b/ChangeLog
index 725eb297dde244ff38401318b8dc8edbbd48baff..c06df52d56d09a3d2184c6629da72d80840f5371 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,7 @@
+2010-04-28  Samuel Thibault  <samuel.thibault@ens-lyon.org>
+
+       * docs/grub.texi (play): Document that zero pitches produce rests.
+
 2010-04-27  Vladimir Serbinenko  <phcoder@gmail.com>
 
        * conf/x86-efi.rmk (linux_mod_SOURCES): Write explicitly to avoid

diff --git a/docs/grub.texi b/docs/grub.texi
index f8a9bc4141685bf3d8a356d78b5b0dfd096a3a89..704f8b2a35e9b167ff8e682f2284348a25b444b6 100644 (file)
--- a/docs/grub.texi
+++ b/docs/grub.texi
@@ -1379,7 +1379,8 @@ pitch and duration pairs.
 If the arguments are a series of numbers, play the inline tune.
 
 The tempo is the base for all note durations. 60 gives a 1-second base, 120
-gives a half-second base, etc.  Pitches are Hz.
+gives a half-second base, etc.  Pitches are Hz.  Set pitch to 0 to produce
+a rest.
 @end deffn