<html>
<head>
<style><!--
.hmmessage P
{
margin:0px;
padding:0px
}
body.hmmessage
{
font-size: 10pt;
font-family:Tahoma
}
--></style></head>
<body class='hmmessage'><div dir='ltr'>
Peter,<br>This is an example of tokenizing.<br>$ cat testtoken.c<br>#include &lt;stdio.h&gt;<br>#define MY_VERSION 10.20.30<br>#define TOKENIZE(token) #token<br>#define STRINGIZE(token) TOKENIZE(token)<br>int main()<br>{<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; printf("Tokenized version string '%s'\n", STRINGIZE(MY_VERSION));<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; return 0;<br>}<br>$ cc -Wall testtoken.c<br>$ a.out<br>Tokenized version string '10.20.30'<br>$<br><br><div><div id="SkyDrivePlaceholder"></div>&gt; Date: Tue, 6 Mar 2012 09:03:05 +0100<br>&gt; From: peb@mppmu.mpg.de<br>&gt; To: aacid@kde.org<br>&gt; CC: poppler@lists.freedesktop.org<br>&gt; Subject: Re: [poppler] poppler and TeX Live -- request for a few modifications<br>&gt; <br>&gt; On Sun, 4 Mar 2012, Albert Astals Cid wrote:<br>&gt; <br>&gt; &gt;&gt; I just see that poppler-config.h in the brand new 0.19.0 now defines<br>&gt; &gt;&gt; POPPLER_VERSION.  Thanks.  This is, however, #define'd as 0.19.0 and not as<br>&gt; &gt;&gt; "0.19.0".  Is this a mistake or intentional?<br>&gt; &gt;<br>&gt; &gt; This is intentional.<br>&gt; &gt;<br>&gt; &gt;&gt; I don't see any use for that<br>&gt; &gt;&gt; other than immediate stringification,<br>&gt; &gt;<br>&gt; &gt; People can use it for ifdefs, tokenizing, etc<br>&gt; <br>&gt; Hi Albert,<br>&gt; <br>&gt; I see the use in ifdefs but don't understand the tokenizing, etc.  Could you<br>&gt; give an example?<br>&gt; <br>&gt; &gt;&gt; PLEASE FIXIT<br>&gt; &gt;<br>&gt; &gt; PLEASE DON'T SHOUT.<br>&gt; <br>&gt; Sorry.<br>&gt; <br>&gt; Regards<br>&gt; Peter Breitenlohner &lt;peb@mppmu.mpg.de&gt;<br>&gt; _______________________________________________<br>&gt; poppler mailing list<br>&gt; poppler@lists.freedesktop.org<br>&gt; http://lists.freedesktop.org/mailman/listinfo/poppler<br></div>                                               </div></body>
</html>