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

Kristen Eisenberg kristen.eisenberg at yahoo.com
Sun Dec 4 15:15:29 CET 2011

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
Telefon: +49 (33)
utebachmeier at
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 

More information about the Barrelfish-users mailing list