Revision history [back]

You can try with:

make build

You The default make target runs both build and doc targets. If you do not want the documentation to be built, you can try with:try:

make build

The default make target runs both build build and doc doc targets. If you do not want the documentation to be built, you can try:

make build