From 399132f1012ee1736dada2efb9658f7dc7c05a1d Mon Sep 17 00:00:00 2001
From: Jakob Unterwurzacher
Date: Wed, 31 Jan 2018 09:36:06 +0100
Subject: Drop "git pull" from the Makefile

Technically has nothing to do with building, and
fails and aborts the build if you don't have a
tracking branch.
---
 Makefile | 1 -
 1 file changed, 1 deletion(-)

diff --git a/Makefile b/Makefile
index af4eb28..e0f4d6b 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,4 @@
 all:
-	git pull
 	LC_ALL=C.UTF-8 LANG=C.UTF-8 mkdocs build --clean
 	cp -af htaccess site/.htaccess
 
-- 
cgit v1.2.3