r8175: add os output to check

diff --git a/doc/Makefile b/doc/Makefile
index 0e03e00aef0975e38a6d3a6a6390936d20dc510f..9da1bfd13db712841688ee52fb15a4c61c1253f8 100644 (file)
--- a/doc/Makefile
+++ b/doc/Makefile
@@ -70,6 +70,7 @@ doc: html pdf
 
 .PHONY: check
 check:
+       @echo "Operating system detected: ${OS}"
        @$(CHECK)
 
 .PHONY: html