projects
/
jansson.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from parent 1:
cf9b384
)
Check documentation in make distcheck
author
Petri Lehtinen
<petri@digip.org>
Thu, 10 Mar 2011 19:24:44 +0000
(21:24 +0200)
committer
Petri Lehtinen
<petri@digip.org>
Thu, 10 Mar 2011 19:24:45 +0000
(21:24 +0200)
It seems that the only way to do this is to use the dvi make target,
as it's built in make distcheck after running configure.
Makefile.am
patch
|
blob
|
history
diff --git
a/Makefile.am
b/Makefile.am
index
173c7de
..
e1fd3ab
100644
(file)
--- a/
Makefile.am
+++ b/
Makefile.am
@@
-1,7
+1,9
@@
EXTRA_DIST = CHANGES LICENSE README.rst
SUBDIRS = doc src test
-check-doc:
+# "make distcheck" builds the dvi target, so use it to check that the
+# documentation is built correctly.
+dvi:
$(MAKE) SPHINXOPTS_EXTRA=-W html
pkgconfigdir = $(libdir)/pkgconfig