From edb22cd9e175b854f4caaae15a4d7489c5d06c1e Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Tue, 9 Feb 2021 17:15:09 +0100
Subject: [doc] Set/Unset Printing Raw Literals

---
 doc/sphinx/user-extensions/syntax-extensions.rst | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'doc/sphinx')

diff --git a/doc/sphinx/user-extensions/syntax-extensions.rst b/doc/sphinx/user-extensions/syntax-extensions.rst
index 03571ad680..6dc43bf589 100644
--- a/doc/sphinx/user-extensions/syntax-extensions.rst
+++ b/doc/sphinx/user-extensions/syntax-extensions.rst
@@ -442,6 +442,12 @@ Displaying information about notations
    Controls whether to use notations for printing terms wherever possible.
    Default is on.
 
+.. flag:: Printing Raw Literals
+
+   Controls whether to use string and number notations for printing terms
+   wherever possible (see :ref:`string-notations`).
+   Default is off.
+
 .. flag:: Printing Parentheses
 
    If on, parentheses are printed even if implied by associativity and precedence
-- 
cgit v1.2.3