From 9a99d63c6039a541fa49d1585f8c94fad092b987 Mon Sep 17 00:00:00 2001
From: luto <m@luto.at>
Date: Thu, 14 Feb 2019 10:51:55 +0100
Subject: [PATCH] make.bat: note that this is not supported by us

---
 make.bat | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/make.bat b/make.bat
index 972eb9d6..89f183c3 100644
--- a/make.bat
+++ b/make.bat
@@ -1,5 +1,13 @@
 @ECHO OFF
 
+echo.Hi there, dear windows user. As we are primiarily linux/mac people
+echo.at uberspace, please note that building the lab on windows is not
+echo.directly supported. In case something breaks, feel free to open a
+echo.pull request fixing the problem, but don't hold your breath for a
+echo.fix on our side.
+echo.
+echo.Thank you!
+
 pushd %~dp0
 
 REM Command file for Sphinx documentation