From 5615c4190758c2df6ab55f8332a478296b6fd0af Mon Sep 17 00:00:00 2001 From: Robert Baruch Date: Wed, 25 Nov 2020 09:58:36 -0800 Subject: [PATCH] Cleans up doublequotes --- manual/CHAPTER_TextRtlil.tex | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/manual/CHAPTER_TextRtlil.tex b/manual/CHAPTER_TextRtlil.tex index 12b90a7f7..6bcb325fc 100644 --- a/manual/CHAPTER_TextRtlil.tex +++ b/manual/CHAPTER_TextRtlil.tex @@ -15,7 +15,7 @@ This appendix documents the text representation of RTLIL in extended Backus-Naur form (EBNF). -The grammar is not meant to represent semantic limitations. That is, the grammar is "permissive", and later stages of processing perform more rigorous checks. +The grammar is not meant to represent semantic limitations. That is, the grammar is ``permissive'', and later stages of processing perform more rigorous checks. The grammar is also not meant to represent the exact grammar used in the RTLIL frontend, since that grammar is specific to processing by lex and yacc, is even more permissive, and is somewhat less understandable than simple EBNF notation. @@ -84,7 +84,7 @@ All other characters may be escaped by a backslash, and become the following cha \begin{itemize} \item \texttt{\textbackslash \textbackslash}: A backslash - \item \texttt{\textbackslash \"}: A double-quote + \item \texttt{\textbackslash ''}: A double-quote \item \texttt{\textbackslash r}: An 'r' character \end{itemize} -- 2.30.2