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.

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