diff --git a/.gitignore b/.gitignore
index a136337..a16ed77 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,6 @@
+# Derived objects
+set_user.o
+set_user.so
+
+# Generated documentation
 *.pdf
diff --git a/docbuilder/.gitignore b/docbuilder/.gitignore
new file mode 100644
index 0000000..8000dd9
--- /dev/null
+++ b/docbuilder/.gitignore
@@ -0,0 +1 @@
+.vagrant
diff --git a/docbuilder/README.txt b/docbuilder/README.txt
new file mode 100644
index 0000000..9671fdf
--- /dev/null
+++ b/docbuilder/README.txt
@@ -0,0 +1,3 @@
+To build the docs, do the following:
+1) vagrant up
+2) vagrant destroy
diff --git a/docbuilder/Vagrantfile b/docbuilder/Vagrantfile
index 28707c7..76b1805 100644
--- a/docbuilder/Vagrantfile
+++ b/docbuilder/Vagrantfile
@@ -18,7 +18,9 @@ Vagrant.configure(2) do |config|
         yum -y install 'texlive-*'
 
         # Generate docs
-        pandoc -s /set-user/README.md -o /set-user/README.pdf
+        cd /set-user
+        version=$(grep "default_version" set_user.control  | awk '{print $3}' | sed "s/'//g")
+        pandoc -s README.md -o Set_User-UserGuide-$version.pdf
     SHELL
 
   # Don't share the default vagrant folder