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 $@