# HG changeset patch
# User diego
# Date 1116076438 0
# Node ID 741b6a00782f0d798a95c1e84ca4b8218995f8d3
# Parent  74813a319929c34925b062e2d4a98cf5ed464e9f
Document new file:// syntax.

diff -r 74813a319929 -r 741b6a00782f DOCS/man/en/mplayer.1
--- a/DOCS/man/en/mplayer.1	Sat May 14 13:04:30 2005 +0000
+++ b/DOCS/man/en/mplayer.1	Sat May 14 13:13:58 2005 +0000
@@ -118,7 +118,7 @@
 .in
 .B mplayer
 'in +\n[.k]u
-.RI [ mms[t] | http | http_proxy | rt[s]p | ftp | udp] ://
+.RI [ file | mms[t] | http | http_proxy | rt[s]p | ftp | udp] ://
 [user:passwd@]\fIURL\fP[:port] [options]
 .
 .br
diff -r 74813a319929 -r 741b6a00782f DOCS/xml/en/usage.xml
--- a/DOCS/xml/en/usage.xml	Sat May 14 13:04:30 2005 +0000
+++ b/DOCS/xml/en/usage.xml	Sat May 14 13:13:58 2005 +0000
@@ -37,6 +37,15 @@
 </para>
 
 <para>
+Another way to play a file:
+<synopsis>
+<command>mplayer</command><!--
+--> [<replaceable>options</replaceable>]<!--
+--> <replaceable>file:///uri-escaped-path</replaceable>
+</synopsis>
+</para>
+
+<para>
 Playing more files:
 <synopsis>
 <command>mplayer</command><!--