diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2020-06-09 12:50:18 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2020-06-09 12:50:18 +0200 |
commit | 782c437c634dc3c54384e4c3bbcb31ef54910f90 (patch) | |
tree | 8a1088682eded0db71c9e11535a296c478f49bf2 /doc/man-prologue.xhtml | |
parent | b256e5ce05c045e6d536c728776342a5c45c5995 (diff) |
Move recipe build directory to build/build/recipes/
Our new scheme is to have any "out" content in a subdirectory called build/
(build/build/ for the build system core, build/<module>/build/ for modules).
This way we can ignore them in .gitignore with a generic entry.
Diffstat (limited to 'doc/man-prologue.xhtml')
0 files changed, 0 insertions, 0 deletions