diff options
author | ng0 <ng0@infotropique.org> | 2017-08-24 09:43:56 +0000 |
---|---|---|
committer | ng0 <ng0@infotropique.org> | 2017-08-24 09:43:56 +0000 |
commit | 2909294342ee9c9cdacfbc75ab852c54f34c7bb9 (patch) | |
tree | dab0e9f13d7ece846f9bb2fe10976bc343074cbb /doc | |
parent | 893952aa643261b5406f6ecf457697dd581dc361 (diff) | |
download | gnunet-2909294342ee9c9cdacfbc75ab852c54f34c7bb9.tar.gz gnunet-2909294342ee9c9cdacfbc75ab852c54f34c7bb9.zip |
doc: This should add the ability to explicitly only build the documentation.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile.am | 15 |
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 = \ | |||
49 | EXTRA_DIST = \ | 49 | EXTRA_DIST = \ |
50 | $(gnunet_TEXINFOS) \ | 50 | $(gnunet_TEXINFOS) \ |
51 | $(gnunet_doc_images) | 51 | $(gnunet_doc_images) |
52 | |||
53 | doc-pdf: | ||
54 | @makeinfo --pdf --quiet gnunet.texi | ||
55 | |||
56 | doc-html: | ||
57 | @makeinfo --html gnunet.texi | ||
58 | |||
59 | doc-info: | ||
60 | @makeinfo --no-split gnunet.texi | ||
61 | |||
62 | # FIXME: rm *.html and *.pdf | ||
63 | doc-clean: | ||
64 | @rm *.aux *.log *.toc *.cp *.cps | ||
65 | |||
66 | doc-all: doc-pdf doc-html doc-info | ||