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/Makefile.am | |
parent | 893952aa643261b5406f6ecf457697dd581dc361 (diff) |
doc: This should add the ability to explicitly only build the documentation.
Diffstat (limited to 'doc/Makefile.am')
-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 = \ 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 |