Skip to content
GitLab

Only run "make check" by default

Merged Guido Gunther requested to merge guido.gunther/librem5-devkit-tools:fix-build into master

We don't want the docs updated during the package build.

This fixes the package build.