X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=configure.ac;h=4b72f7f7714d4c1d0c3972bf38896f143d4b6430;hb=300d3db698d3ac82a0a302a91ee62bcaad6337b6;hp=096825a08b3608642f939c5354922e176bf4019f;hpb=2fda41bd152e292b85160c1384419a2c554dea2b;p=pspp

diff --git a/configure.ac b/configure.ac
index 096825a08b..4b72f7f771 100644
--- a/configure.ac
+++ b/configure.ac
@@ -46,6 +46,8 @@ AM_CONDITIONAL(cc_is_gcc, test x"$GCC" = x"yes" )
 PSPP_CC_FOR_BUILD
 PSPP_PERL
 PSPP_PYTHON
+AC_CHECK_PROGS([TEX], [tex], [no])
+AC_SUBST([TEX])
 
 # This suppresses an error in gl/careadlinkat.c that otherwise can't be
 # avoided in GCC 10.x: