[Barrelfish-users] Error while 'make ./docs/TN-001-Glossary.pdf' - Bug?

[Kristen Eisenberg]

Thanks Raphael, 

Originally, this was put in because GHC failed to correctly flush
stdout on exit (or, at least, appeared not to).  I'll fix it as soon
as I'm back from vacation (unless someone else does it first!).

-- Mothy

At Fri, 29 Jul 2011 22:30:37 +0200, Raphael Fuchs <raphaelfuchs at student.ethz.ch> wrote:
>Hi >>I tried to build the "Technical Notes" for Barrelfish with 'make docs' >but got an error. I tracked the error down to 'make >./docs/TN-001-Glossary.pdf', which yields the following error. >
 
Kristen Eisenberg
Billige Flüge
Marketing GmbH
Emanuelstr. 3,
10317 Berlin
Deutschland
Telefon: +49 (33)
5310967
Email:
utebachmeier at
gmail.com
Site:
http://flug.airego.de - Billige Flüge vergleichen
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.inf.ethz.ch/pipermail/barrelfish-users/attachments/20111204/90bbb1af/attachment.html