From bd6f9d98e4d2baebbf2d5810b440b876c5e4a86c Mon Sep 17 00:00:00 2001
From: Mark Liversedge <liversedge@gmail.com>
Date: Tue, 19 Mar 2013 15:15:36 +0000
Subject: [PATCH] Documentation: Added a Makefile

.. to create pdf, html and info files
.. and .gitignore to ignore outputs
---
 doc/user/.gitignore |  3 +++
 doc/user/Makefile   | 25 +++++++++++++++++++++++++
 2 files changed, 28 insertions(+)
 create mode 100644 doc/user/.gitignore
 create mode 100644 doc/user/Makefile

diff --git a/doc/user/.gitignore b/doc/user/.gitignore
new file mode 100644
index 000000000..87b19daf9
--- /dev/null
+++ b/doc/user/.gitignore
@@ -0,0 +1,3 @@
+*.info
+*.pdf
+*.html
diff --git a/doc/user/Makefile b/doc/user/Makefile
new file mode 100644
index 000000000..457f813e3
--- /dev/null
+++ b/doc/user/Makefile
@@ -0,0 +1,25 @@
+# 
+# Generate documentation files from the source .texinfo
+#
+
+all: FAQ
+	rm -f *.aux *.cp *.cps *.fn *.ky *.log *.pg *.toc *.tp *.vr
+
+FAQ: FAQ.pdf FAQ.html FAQ.info
+
+## The basic commands, good on Linux/Mac
+## need mingw on Windows
+TEXI2PDF    = texi2pdf
+TEXI2HTML   = texi2html
+MAKEINFO    = makeinfo
+
+.SUFFIXES: .pdf .texinfo .info .html
+
+.texinfo.info:
+	${MAKEINFO} $< -o $@
+
+.texinfo.pdf:
+	${TEXI2PDF} $< -o $@
+
+.texinfo.html:
+	${TEXI2HTML} $< -o $@