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