Commit ff34ea8eda9bc679761c80de44718709d8419b03

Werner Lemberg 2021-02-27T11:02:53

Improve build documentation. Fixes #1012.