2 files changed, 6 insertions, 1 deletions
diff --git a/Makefile.in b/Makefile.in
index 932e2dd8..1f2284d1 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -185,7 +185,11 @@ endif
 ifeq ($(CFG_TEXI2PDF),)
   $(info cfg: no texi2pdf found, omitting doc/rust.pdf)
 else
-  DOCS += doc/rust.pdf
+  ifeq ($(CFG_TEX),)
+    $(info cfg: no tex found, omitting doc/rust.pdf)
+  else
+    DOCS += doc/rust.pdf
+  endif
 endif
 
 
diff --git a/configure b/configure
index 8e7122bd..b2b587c9 100755
--- a/configure
+++ b/configure
@@ -132,6 +132,7 @@ probe CFG_OCAMLOPT_OPT     ocamlopt.opt
 probe CFG_FLEXLINK         flexlink
 probe CFG_MAKEINFO         makeinfo
 probe CFG_TEXI2PDF         texi2pdf
+probe CFG_TEX              tex
 
 if [ ! -z "$CFG_LLVM_ROOT" ]
 then