From db018a6d3066d5570f24b6c477b69cc07837aa1a Mon Sep 17 00:00:00 2001
From: Joas Schilling <coding@schilljs.com>
Date: Fri, 11 Aug 2023 12:10:55 +0200
Subject: [PATCH] Allow warnings in translations

Signed-off-by: Joas Schilling <coding@schilljs.com>
---
 user_manual/Makefile | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/user_manual/Makefile b/user_manual/Makefile
index 924872fee..4389b6b38 100644
--- a/user_manual/Makefile
+++ b/user_manual/Makefile
@@ -55,7 +55,11 @@ versions-template-all: $(foreach lang, $(LANGS), add-lang-to-versions-template-$
 add-lang-to-versions-template-%:
 	sed -i '/Here goes the Langs/i <dd><a href="/server/latest/user_manual/$*/">$*</a></dd>' ./_templates/versions.html
 
-html-all: $(foreach lang, $(LANGS), html-lang-$(lang))
+html-all: $(foreach lang, $(LANGS), html-allow-warnings-lang-$(lang))
+
+html-allow-warnings-lang-%:
+	$(SPHINXBUILD) -b html -D html_theme='sphinx_rtd_theme' -D language=$* $(ALLSPHINXOPTS) $(BUILDDIR)/html/$*
+	@echo "Build finished for LANG=$*. The HTML pages are in $(BUILDDIR)/html/$*."
 
 html-lang-%:    
 	$(SPHINXBUILD) -W -b html -D html_theme='sphinx_rtd_theme' -D language=$* $(ALLSPHINXOPTS) $(BUILDDIR)/html/$*