X-Git-Url: https://jxself.org/git/?p=ibg.git;a=blobdiff_plain;f=about.rst;h=9c8f55e80e12152c179a1b5332b10b31e245acac;hp=a1af7f9c1ee4408fc88254768d2e234cb7bab1ba;hb=d243892ad9717d0d1cbb0dbc941b229b24a7f09e;hpb=f68b82bdb2f596bfa811693302a8980ae46dff14

diff --git a/about.rst b/about.rst
index a1af7f9..9c8f55e 100644
--- a/about.rst
+++ b/about.rst
@@ -1,7 +1,3 @@
-.. raw:: latex
-
-   \newpage
-
 ==================
  About this guide
 ==================
@@ -104,6 +100,15 @@ placeholder: for example you should read the Inform statement:
 
    print "*string*";
 
+.. todo::
+
+   The above will not render correctly in PDF.  In PDF the leading 
+   quotes always appear with at least one backquote.  At the moment, the 
+   best solution I can think up is to have a script fire off after LaTeX 
+   generation to take care of this problem so that when the LaTeX code 
+   is compiled, we'll get the correct glyphs.  At the moment, I don't 
+   know how to make such a script automatically run.
+
 as meaning "display on the player's screen the arbitrary character or
 characters which are represented here by the placeholder *string*".
 Examples might include::