From aee683904dcac6762ee99cf6381e0f7f6a9eba57 Mon Sep 17 00:00:00 2001
From: Pouria Hadjibagheri
Date: Tue, 25 Apr 2017 14:56:26 +0100
Subject: [PATCH] Create .nojekyll automatically.
---
dev.xml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/dev.xml b/dev.xml
index 15d3542..9f49d44 100644
--- a/dev.xml
+++ b/dev.xml
@@ -193,7 +193,7 @@ mv ./docs/html/* ./docs/
URL="docs/index.html"
echo "Documentations index file: $URL"
-
+"" >> ./docs/.nojekyll
[[ -x $BROWSER ]] && exec "$BROWSER" "$URL"
path=$(which xdg-open || which gnome-open || which open) && exec "$path" "$URL"
echo "Built the docs - but couldn't find a browser to open them."