diff --git a/docs/dev/basics.rst b/docs/dev/basics.rst index 0f53d6d4..a46baf71 100644 --- a/docs/dev/basics.rst +++ b/docs/dev/basics.rst @@ -52,6 +52,13 @@ and you can try rebasing it onto the new `base` branch yourself and after that c Always call `make update-patches` after making changes to a module repository as `make update` will overwrite your commits, making `git reflog` the only way to recover them! +Then all is set start the build by calling (probably add -jn): + +:: + + make all + + Development Guidelines ---------------------- Lua should be used instead of sh whenever sensible. The following criteria