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

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::