Use texi2html only if it's available

diff --git a/Makefile.in b/Makefile.in
index a8b20ce5f432f20a0f95ca7f365a3dc6f58371ab..ecb036c8003f64592da1e3c757efae81b871e6c0 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -145,7 +145,8 @@ chrony.txt : chrony.texi
        makeinfo --no-headers --number-sections -o chrony.txt chrony.texi
 
 chrony.html : chrony.texi
-       texi2html chrony.texi
+       command -v texi2html > /dev/null 2>&1 && texi2html chrony.texi || \
+         makeinfo --no-split --html --number-sections -o chrony.html chrony.texi
 
 chrony.info : chrony.texi
        makeinfo chrony.texi