-
intrigeri authored
Since #14459 is solved, mistakenly building from the master branch is less of a problem: at least the ISO should build successfully. So let's stick to the basics, document how to build the devel branch, and point to the detailed doc only in passing rather than as a compulsory stopover.
cd6d30e3