[MLton-commit] r4242

[Matthew Fluet]

Skip make-pdf-guide if htmldoc is not found
----------------------------------------------------------------------

U   mlton/trunk/Makefile

----------------------------------------------------------------------

Modified: mlton/trunk/Makefile
===================================================================
--- mlton/trunk/Makefile	2005-11-18 03:06:08 UTC (rev 4241)
+++ mlton/trunk/Makefile	2005-11-18 03:28:42 UTC (rev 4242)
@@ -151,7 +151,9 @@
 docs: dirs
 	$(MAKE) -C $(LEX) docs
 	$(MAKE) -C $(YACC) docs
-	bin/make-pdf-guide
+	if htmldoc --version >/dev/null 2>&1; then \
+		bin/make-pdf-guide; \
+	fi
 
 BSDSRC = /tmp/mlton-$(VERSION)
 .PHONY: freebsd