summaryrefslogtreecommitdiff
path: root/doc/Makefile.am
diff options
context:
space:
mode:
authorng0 <ng0@infotropique.org>2017-08-24 09:43:56 +0000
committerng0 <ng0@infotropique.org>2017-08-24 09:43:56 +0000
commit2909294342ee9c9cdacfbc75ab852c54f34c7bb9 (patch)
treedab0e9f13d7ece846f9bb2fe10976bc343074cbb /doc/Makefile.am
parent893952aa643261b5406f6ecf457697dd581dc361 (diff)
doc: This should add the ability to explicitly only build the documentation.
Diffstat (limited to 'doc/Makefile.am')
-rw-r--r--doc/Makefile.am15
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