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

diff --git a/about.rst b/about.rst
index 295abe8..9c8f55e 100644
--- a/about.rst
+++ b/about.rst
@@ -100,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::