1 files changed, 10 insertions, 0 deletions
diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am
new file mode 100644
index 000000000..bb306355c
--- /dev/null
+++ b/doc/manual/Makefile.am
@@ -0,0 +1,10 @@
+all: manual.pdf manual.html
+
+manual.pdf:
+	texi2pdf manual.texi
+
+manual.html:
+	texi2html manual.texi
+
+info_TEXINFOS = manual.texi
+manual_TEXINFOS = version.texi