From 37d85cc47d88d6b8fe4fb811df2f8a825b0e1a5c Mon Sep 17 00:00:00 2001 From: Toni G Date: Tue, 21 May 2024 14:59:41 +0200 Subject: [PATCH] Update README.md Triggers rebuild? --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index b41e8ee..813201e 100644 --- a/README.md +++ b/README.md @@ -6,7 +6,7 @@ Pushes to this repo will trigger regeneration of the website. API docs are also automatically built by this repo. -## Manual steps +## Manual steps These things are currently handled manually by copying them in the `docs` directory. These are handled by the `Makefile` in this repo.