From 2016e902e19d8b48a8aa4a69c06fe58f3d31916f Mon Sep 17 00:00:00 2001
From: Guido Cella <guido@guidocella.xyz>
Date: Mon, 9 Oct 2023 22:11:11 +0200
Subject: [PATCH] DOCS/lua: update read_options example

This still shows the old way of calling read_options even though it was
deprecated 8 years in ago 327b091909e.
---
 DOCS/man/lua.rst | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/DOCS/man/lua.rst b/DOCS/man/lua.rst
index 494e95fcd8..695644d0ba 100644
--- a/DOCS/man/lua.rst
+++ b/DOCS/man/lua.rst
@@ -680,13 +680,13 @@ with values found in the config-file and the command-line (in that order).
 
 Example implementation::
 
-    require 'mp.options'
     local options = {
         optionA = "defaultvalueA",
         optionB = -0.5,
         optionC = true,
     }
-    read_options(options, "myscript")
+
+    require "mp.options".read_options(options, "myscript")
     print(options.optionA)