From f825473c7afa6d2f93edd0223c09d7f14a5e383f Mon Sep 17 00:00:00 2001
From: Guido Cella <guidocella91@gmail.com>
Date: Tue, 15 Sep 2020 09:30:57 +0200
Subject: manpage: mark file-local-options as writable

---
 DOCS/man/input.rst | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/DOCS/man/input.rst b/DOCS/man/input.rst
index 23725d97ec..bce4da018e 100644
--- a/DOCS/man/input.rst
+++ b/DOCS/man/input.rst
@@ -3179,7 +3179,7 @@ Property list
     ``<name>``, except in situations in which the properties have different
     behavior or conflicting semantics.
 
-``file-local-options/<name>``
+``file-local-options/<name>`` (RW)
     Similar to ``options/<name>``, but when setting an option through this
     property, the option is reset to its old value once the current file has
     stopped playing. Trying to write an option while no file is playing (or
-- 
cgit v1.2.3