genode-manual make error

robjsstewart at ...196... robjsstewart at ...196...
Fri Jan 23 22:42:32 CET 2015

Thanks Norman. I'll dig into it tomorrow. Appreciate the pdf.


Sent from my android device.

-----Original Message-----
From: Norman Feske <norman.feske at ...1...>
To: genode-main at
Sent: Fri, 23 Jan 2015 4:40 PM
Subject: Re: genode-manual make error

Hi Bob,

even though I conceived the code, I can unfortunately neither reproduce
nor explain the error. In case you like to dig a bit deeper, the
offending function can be found in 'manual/manual.gosh'. The variable
'chapter_tag' contains the string for the markup of a chapter. It is
defined at line 548 of the 'gosh' script.

To remove the road block for you reading the documentation, I built and
uploaded the current version to here:


Dr.-Ing. Norman Feske
Genode Labs ·

Genode Labs GmbH · Amtsgericht Dresden · HRB 28424 · Sitz Dresden
Geschäftsführer: Dr.-Ing. Norman Feske, Christian Helmuth

New Year. New Location. New Benefits. New Data Center in Ashburn, VA.
GigeNET is offering a free month of service with a new server in Ashburn.
Choose from 2 high performing configs, both with 100TB of bandwidth.
Higher redundancy.Lower latency.Increased capacity.Completely compliant.
genode-main mailing list
genode-main at
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list