Some gitignores and some cleanup

pgaudit · Jul 21, 2017 · 07ef6bf · 07ef6bf
1 parent dc25d1f
commit 07ef6bf
Show file tree

Hide file tree

Showing 4 changed files with 12 additions and 1 deletion.
diff --git 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
@@ -0,0 +1 @@
+.vagrant
diff --git a/docbuilder/README.txt 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
@@ -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