diff --git a/autocompile.sh b/autocompile.sh
index 3c5421e66458c2eb94f228889c331659e15ac7f4..a79d9d85ae46e324e5a1a2407f325119d24046a5 100755
--- a/autocompile.sh
+++ b/autocompile.sh
@@ -1,5 +1,8 @@
 #!/bin/bash
-[ -d ../config ] && git subtree -P config pull ../config master && git subtree -P config push ../config core
+if [ -z $1 ]; then
+	git subtree -P config pull ../config master && \
+	git subtree -P config push ../config core
+fi
 pdflatex main.tex
 pdflatex main.tex
 makeindex main.idx