]> granicus.if.org Git - check/commitdiff
Note that we need tex to build docs.
authorrbcollins <rbcollins@64e312b2-a51f-0410-8e61-82d0ca0eb02a>
Mon, 21 Sep 2009 12:33:46 +0000 (12:33 +0000)
committerrbcollins <rbcollins@64e312b2-a51f-0410-8e61-82d0ca0eb02a>
Mon, 21 Sep 2009 12:33:46 +0000 (12:33 +0000)
git-svn-id: svn+ssh://svn.code.sf.net/p/check/code/trunk@547 64e312b2-a51f-0410-8e61-82d0ca0eb02a

configure.ac

index adcb5102a4b82b1dc9e97b4b4aa4ea619d47d801..b950bee81adbbac918a0cd331845640f0ef79558 100644 (file)
@@ -115,6 +115,13 @@ AX_CFLAGS_ADD([-Wno-variadic-macros])
 AC_CHECK_PROGS(GCOV, gcov, false)
 AC_CHECK_PROGS(LCOV, lcov, false)
 AC_CHECK_PROGS(GENHTML, genhtml, false)
+AC_CHECK_PROGS(TEX, tex, false)
+if test -n "$TEX"; then
+    # Make it [somewhat] clear to maintainers that tex is missing. Not an error
+    # though because 'make install' (which users need) does not build the docs
+    # anyway.
+    AC_MSG_WARN(tex not installed: cannot rebuild HTML documentation.)
+fi
 
 # Checks for libraries.