genode-manual make error

Norman Feske norman.feske at ...1...
Fri Jan 23 22:40:52 CET 2015

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

More information about the users mailing list