fixed formatting

Maxzor · Sep 26, 2014 · d70ec33 · d70ec33
1 parent 62d9781
commit d70ec33
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/build_docs.sh b/build_docs.sh
@@ -33,7 +33,7 @@ if which gimli >/dev/null; then
 	rm ${filename}.md 
 	popd >/dev/null
 else
-    echo -e "\nFAILED"
+	echo -e "\nFAILED"
 	echo "Install Gimli to build the PDF documentation"
 	echo -e "https://github.com/walle/gimli\n"
 	exit 1