I checked in another workaround:
https://git.rtems.org/rtems-docs/commit/?id=6f110ccf6b2a9e142859874e401888dc9c2c2b2f
--
Sebastian Huber, embedded brains GmbH
Address : Dornierstr. 4, D-82178 Puchheim, Germany
Phone : +49 89 189 47 41-16
Fax : +49 89 189 47 41-09
E-Mail : sebastian.hu...
This patch doesn't work, I get this build error after a while:
Waf: Leaving directory `/home/EB/sebastian_h/git-rtems-docs/build'
Build failed
Traceback (most recent call last):
File
"/home/EB/sebastian_h/git-rtems-docs/.waf-1.9.7-d2740ebc8bcbca7fcd8f4ae914fb/waflib/Task.py",
line 145, in
---
book/wscript | 3 +--
bsp-howto/wscript| 18 +++---
c-user/wscript | 18 +++---
cpu-supplement/wscript | 18 +++---
develenv/wscript | 18 +++---
eclipse/wscript | 18 +++---
eng/wscri
