From 728d826eb3df6c8025fd88c949157b7acd9833e3 Mon Sep 17 00:00:00 2001 From: Chris Mayo Date: Mon, 5 Sep 2022 19:30:38 +0100 Subject: [PATCH] Fix typo makefiles in doc/Makefile --- doc/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/Makefile b/doc/Makefile index d6458f42..c8551a9a 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -16,7 +16,7 @@ man: make -C src man; \ make -C src -e SPHINXOPTS="-D language='de' -t de" LANGUAGE="de" man -# check all makefiles for formatting warnings +# check all man files for formatting warnings check: @for loc in $(LOCALES); do \ for manfile in $(MANFILES); do \