X-Git-Url: http://git.kpe.io/?a=blobdiff_plain;f=doc%2FMakefile;fp=doc%2FMakefile;h=9da1bfd13db712841688ee52fb15a4c61c1253f8;hb=d26a88bb2cbd2bf5b1430b2f54e11fef252787fe;hp=0e03e00aef0975e38a6d3a6a6390936d20dc510f;hpb=cf7d86bff2e462e0d0309da265a7ec39bf52c9a2;p=clsql.git

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