From eda7364a8ee3e7040e49351386bcf50038ee3f99 Mon Sep 17 00:00:00 2001 From: crasbe Date: Fri, 7 Mar 2025 11:23:34 +0100 Subject: [PATCH] fixup! doc: add a version check for Doxygen --- doc/doxygen/Makefile | 10 ++++++---- 1 file changed, 6 insertions(+), 4 deletions(-) diff --git a/doc/doxygen/Makefile b/doc/doxygen/Makefile index 08629dc07d83..1134cc394cbb 100644 --- a/doc/doxygen/Makefile +++ b/doc/doxygen/Makefile @@ -32,10 +32,12 @@ html: src/changelog.md src/coc.md src/governance.md @echo "" @echo "RIOT documentation successfully generated at file://$(RIOTBASE)/doc/doxygen/html/index.html" @DOXYGEN_VERSION=$$(doxygen --version | awk '{print $$1}'); \ - awk 'BEGIN {if ("'$$DOXYGEN_VERSION'" < "'$(DOXYGEN_MIN_VERSION)'") { \ - print "$(COLOR_RED)Warning: Doxygen version " "'$$DOXYGEN_VERSION'" " is too old. " \ - "It is recommended to use at least version $(DOXYGEN_MIN_VERSION) " \ - "to avoid incorrectly formatted output.$(COLOR_RESET)"}}' + if [ "`{ echo "$(DOXYGEN_MIN_VERSION)"; echo "$$DOXYGEN_VERSION"; } | \ + sort -V | head -n1`" != "$(DOXYGEN_MIN_VERSION)" ]; then \ + $(COLOR_ECHO) "$(COLOR_RED)Warning: Doxygen version $$DOXYGEN_VERSION is too old." \ + "It is recommended to use at least version $(DOXYGEN_MIN_VERSION)" \ + "to avoid incorrectly formatted output.$(COLOR_RESET)"; \ + fi .PHONY: check check: src/changelog.md src/coc.md src/governance.md