<html><body><div style="color:#000; background-color:#fff; font-family:times new roman, new york, times, serif;font-size:12pt"><div>Thanks Raphael, <br><br>Originally, this was put in because GHC failed to correctly flush<br>stdout on exit (or, at least, appeared not to). I'll fix it as soon<br>as I'm back from vacation (unless someone else does it first!).<br><br> -- Mothy<br><br>At Fri, 29 Jul 2011 22:30:37 +0200, Raphael Fuchs <<a href="https://lists.inf.ethz.ch/mailman/listinfo/barrelfish-users"><font color="#0066cc">raphaelfuchs at student.ethz.ch</font></a>> wrote:<br>><i> Hi
</i>><i>
</i>><i> I tried to build the "Technical Notes" for Barrelfish with 'make docs'
</i>><i> but got an error. I tracked the error down to 'make
</i>><i> ./docs/TN-001-Glossary.pdf', which yields the following error.
</i>><i>
</i></div><div><em></em> </div><div>
</div><div style="margin: 0cm 0cm 0pt;" class="MsoNormal"><span style="mso-ansi-language: DE;" lang="DE">Kristen Eisenberg<?xml:namespace prefix = o ns = "urn:schemas-microsoft-com:office:office" /><o:p></o:p></span></div><div>
</div><div style="margin: 0cm 0cm 0pt;" class="MsoNormal"><span style="mso-ansi-language: DE;" lang="DE">Billige Flüge<o:p></o:p></span></div><div>
</div><div style="margin: 0cm 0cm 0pt;" class="MsoNormal"><span style="mso-ansi-language: DE;" lang="DE">Marketing GmbH<o:p></o:p></span></div><div>
</div><div style="margin: 0cm 0cm 0pt;" class="MsoNormal"><span style="mso-ansi-language: DE;" lang="DE">Emanuelstr. 3,<o:p></o:p></span></div><div>
</div><div style="margin: 0cm 0cm 0pt;" class="MsoNormal"><span style="mso-ansi-language: DE;" lang="DE">10317 Berlin<o:p></o:p></span></div><div>
</div><div style="margin: 0cm 0cm 0pt;" class="MsoNormal"><span style="mso-ansi-language: DE;" lang="DE">Deutschland<o:p></o:p></span></div><div>
</div><div style="margin: 0cm 0cm 0pt;" class="MsoNormal"><span style="mso-ansi-language: DE;" lang="DE">Telefon: +49 (33)<o:p></o:p></span></div><div>
</div><div style="margin: 0cm 0cm 0pt;" class="MsoNormal"><span style="mso-ansi-language: DE;" lang="DE">5310967<o:p></o:p></span></div><div>
</div><div style="margin: 0cm 0cm 0pt;" class="MsoNormal"><span style="mso-ansi-language: DE;" lang="DE">Email:<o:p></o:p></span></div><div>
</div><div style="margin: 0cm 0cm 0pt;" class="MsoNormal"><span style="mso-ansi-language: DE;" lang="DE">utebachmeier at<o:p></o:p></span></div><div>
</div><div style="margin: 0cm 0cm 0pt;" class="MsoNormal"><span style="mso-ansi-language: DE;" lang="DE">gmail.com<o:p></o:p></span></div><div>
</div><div style="margin: 0cm 0cm 0pt;" class="MsoNormal"><span style="mso-ansi-language: DE;" lang="DE">Site:<o:p></o:p></span></div><div>
<span style='font-family: "Times New Roman"; font-size: 12pt; mso-ansi-language: DE; mso-fareast-font-family: "Times New Roman"; mso-fareast-language: RU; mso-bidi-language: AR-SA;' lang="DE">http://flug.airego.de - Billige Flüge vergleichen</span></div></div></body></html>