# HG changeset patch
# User Dave Love <fx@gnu.org>
# Date 975411535 0
# Node ID ac7551c369265f23a01317ddfb67c5521744e525
# Parent  a036721cfe80db1855ebbed94ba5fc1e21ea309b
Doc play-sound-file and sound :device.

diff -r a036721cfe80 -r ac7551c36926 lispref/os.texi
--- a/lispref/os.texi	Tue Nov 28 11:38:10 2000 +0000
+++ b/lispref/os.texi	Tue Nov 28 11:38:55 2000 +0000
@@ -1754,6 +1754,10 @@
 This specifies how loud to play the sound.  It should be a number in the
 range of 0 to 1.  The default is to use whatever volume has been
 specified before.
+
+@item :device @var{device}
+This specifies the system device on which to play the sound, as a
+string.  The default device is system-dependent.
 @end table
 
 Before actually playing the sound, @code{play-sound}
@@ -1761,6 +1765,12 @@
 Each function is called with one argument, @var{sound}.
 @end defun
 
+@defun play-sound-file file &optional volume device
+@tindex play-sound-file
+This function is an alternative interface to playing a sound @var{file}
+specifying an optional @var{volume} and @var{device}.
+@end defun
+
 @tindex play-sound-functions
 @defvar play-sound-functions
 A list of functions to be called before playing a sound.  Each function