From a6ed583ec5ccb1084344e4348213fdb275c72904 Mon Sep 17 00:00:00 2001 From: Griatch Date: Wed, 26 Jan 2022 18:36:24 +0100 Subject: [PATCH] Trigger a build --- docs/Makefile | 1 + 1 file changed, 1 insertion(+) diff --git a/docs/Makefile b/docs/Makefile index 748dd61c9e..92780c2e48 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -3,6 +3,7 @@ SOURCEDIR = source BUILDDIR = build AUTODOCDIR = $(SOURCEDIR)/api + # You can set these variables from the command line, and also # from the environment for the first two. SPHINXOPTS ?=