From 3db2db404fc6de5dc332e596ff22feafc0e0e3b1 Mon Sep 17 00:00:00 2001
From: Pouria Hadjibagheri <p.h.bagheri@gmail.com>
Date: Sun, 23 Apr 2017 12:19:29 +0100
Subject: [PATCH] Fixed docs MakeFile

---
 dev.xml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dev.xml b/dev.xml
index 80b88bf..a164393 100644
--- a/dev.xml
+++ b/dev.xml
@@ -1,4 +1,4 @@
-<?xml version='1.0' encoding='UTF-8'?>
+<?xml version='1.0' encoding='us-ascii'?>
 <dev><file for="vagrant"><path>Vagrantfile</path>
         <contents>Vagrant.configure("2") do |config|
 
@@ -178,7 +178,7 @@ help:
 # Catch-all target: route all unknown targets to Sphinx using the new
 # "make mode" option.  $(O) is meant as a shortcut for $(SPHINXOPTS).
 %: Makefile
-	@$(SPHINXBUILD) -M $@ "$(SO</contents>
+    @$(SPHINXBUILD) -M $@ "$(SOURCEDIR)" "$(BUILDDIR)" $(SPHINXOPTS) $(O)</contents>
     </file>
     <file for="docs"><path>docs</path><path>create_docs.sh</path>
         <contents>#!/usr/bin/env bash