docs: note about builtin.md is generated by "make manual" (!1249) · Merge requests · redox-os / ion · GitLab

Florian Naumann requested to merge bool_purist/ion:docs_about_builin_chapter_manual into master Mar 18, 2023

The job linux:stable of the CI of Ion fails with compiling error.

See this issue for more details.