nfeske / genode-manual

Reference manual for the Genode OS Framework

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Build failed due to missing chapter tag

zeehha opened this issue · comments

Hi,

I get the following error when building Genode foundations 20.05:

gosh --style manual.gosh genode-foundations-20-05.txt > misc.tmp.tex can't read "chapter_tag": no such variable

entire log: build-log.txt

I made sure that I have all required programs.

Best,
Chris

Unfortunately, I am unable to reproduce this issue. The error message gives me no obvious hint either.

May it be related to the Tcl version installed? For reference, I'm using tclsh8.6.

I upgraded tclsh from 8.6.0 to 8.6.9, however I still get the error.