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