Always install xfonts-mathml package if it is available.

build/install-build-deps.sh

Index: build/install-build-deps.sh
diff --git a/build/install-build-deps.sh b/build/install-build-deps.sh
index c27f1d254aee2b6d29c931437a4adcb0e8b4b8c8..98277709b2a93c50968aa816267d9af82869ac24 100755
--- a/build/install-build-deps.sh
+++ b/build/install-build-deps.sh
@@ -245,26 +245,27 @@ else
 fi
 if package_exists fonts-stix; then
   dev_list="${dev_list} fonts-stix"
-else
+fi
+if package_exists xfonts-mathml; then
   dev_list="${dev_list} xfonts-mathml"
 fi
 if package_exists fonts-indic; then
-    dev_list="${dev_list} fonts-indic"
+  dev_list="${dev_list} fonts-indic"

[Vadim Sh., 2016/05/18 22:38:53]

making indent consistent with the rest of the file

 else
-    dev_list="${dev_list} ttf-indic-fonts"
+  dev_list="${dev_list} ttf-indic-fonts"
 fi
 if package_exists php7.0-cgi; then
-    dev_list="${dev_list} php7.0-cgi libapache2-mod-php7.0"
+  dev_list="${dev_list} php7.0-cgi libapache2-mod-php7.0"
 else
-    dev_list="${dev_list} php5-cgi libapache2-mod-php5"
+  dev_list="${dev_list} php5-cgi libapache2-mod-php5"
 fi
 # Ubuntu 16.04 has this package deleted.
 if package_exists ttf-kochi-gothic; then
-    dev_list="${dev_list} ttf-kochi-gothic"
+  dev_list="${dev_list} ttf-kochi-gothic"
 fi
 # Ubuntu 16.04 has this package deleted.
 if package_exists ttf-kochi-mincho; then
-    dev_list="${dev_list} ttf-kochi-mincho"
+  dev_list="${dev_list} ttf-kochi-mincho"
 fi
 
 # Some packages are only needed if the distribution actually supports