1 files changed, 15 insertions, 0 deletions

diff --git a/doc/Makefile.am b/doc/Makefile.am
index e130ccc0e..508326781 100644
--- a/doc/Makefile.am
+++ b/doc/Makefile.am
@@ -49,3 +49,18 @@ gnunet_TEXINFOS = \
 EXTRA_DIST = \
         $(gnunet_TEXINFOS) \
         $(gnunet_doc_images)
+
+doc-pdf:
+        @makeinfo --pdf --quiet gnunet.texi
+
+doc-html:
+        @makeinfo --html gnunet.texi
+
+doc-info:
+        @makeinfo --no-split gnunet.texi
+
+# FIXME: rm *.html and *.pdf
+doc-clean:
+        @rm *.aux *.log *.toc *.cp *.cps
+
+doc-all: doc-pdf doc-html doc-info