From b397711a66751873132311e85ea072c6dbe34f5d Mon Sep 17 00:00:00 2001 From: Petri Lehtinen Date: Thu, 10 Mar 2011 21:24:44 +0200 Subject: [PATCH] Check documentation in make distcheck 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 | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Makefile.am b/Makefile.am index 173c7de..e1fd3ab 100644 --- 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 -- 2.1.4