diff -r 7dfa5bcf39ee -r 88a9ee79c102 Makefile
--- a/Makefile	Wed Jan 22 21:02:46 2025 +0100
+++ b/Makefile	Thu Jan 23 01:15:52 2025 +0100
@@ -21,7 +21,7 @@
 # OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
 # OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 
-all: compile test-compile FORCE
+all: compile test-compile docs FORCE
 
 install: config.mk FORCE
 	@cd src && $(MAKE) install