+2013-11-12 Vladimir Serbinenko <phcoder@gmail.com>
+
+ * configure.ac: Allow disabling themes.
+
2013-11-12 Lukas Schwaighofer <lukas@schwaighofer.name>
* util/grub.d/20_linux_xen.in: Don't decompress initrd.
starfield_excuse=
-if test x"$enable_build_grub_mkfont" = xno ; then
+AC_ARG_ENABLE([grub-themes],
+ [AS_HELP_STRING([--enable-grub-themes],
+ [build and install GRUB themes (default=guessed)])])
+if test x"$enable_grub_themes" = xno ; then
+ starfield_excuse="explicitly disabled"
+fi
+
+if test x"$starfield_excuse" = x && test x"$enable_build_grub_mkfont" = xno ; then
starfield_excuse="No build-time grub-mkfont"
fi
fi
fi
+if test x"$enable_grub_themes" = xyes && test x"$starfield_excuse" != x; then
+ AC_MSG_ERROR([themes were explicitly requested but requirements are not satisfied])
+fi
+
AC_SUBST([DJVU_FONT_SOURCE])
FONT_SOURCE=