Cleans up doublequotes

diff --git a/manual/CHAPTER_TextRtlil.tex b/manual/CHAPTER_TextRtlil.tex
index 12b90a7f7081d014bb170d133262188b49346bdb..6bcb325fc6b26f48e8a75643d45d6b43fa35e3d8 100644 (file)
--- 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}