diff --git a/vice/configure.ac b/vice/configure.ac

index 6b74e07..efbe67d 100644

--- a/vice/configure.ac

+++ b/vice/configure.ac

@@ -91,7 +91,7 @@ done

 dnl check for invalid options

 echo "option checking is $enable_option_checking"

-AS_IF([test x"$enable_option_checking" = "xyes"], [VICE_ARG_LIST_CHECK()])

+AS_IF([test x"$enable_option_checking" = "xno"], [VICE_ARG_LIST_CHECK()])

 dnl check for conflicting options

 VICE_ARG_LIST_AT_MOST_ONE([--enable-sdlui --enable-sdlui2 --enable-native-gtk3ui --enable-headlessui], [UI])

diff --git a/vice/doc/Makefile.am b/vice/doc/Makefile.am

index 11e696e..75ae025 100644

--- a/vice/doc/Makefile.am

+++ b/vice/doc/Makefile.am

@@ -51,10 +51,6 @@ export PATH := /usr/local/opt/texinfo/bin:$(PATH)

 endif

 .vice-texi-charset-ok:	$(srcdir)/vice.texi

-	if [ "`file --mime-encoding $<`" != "$<: iso-8859-1" ]; then \

-		echo "ERROR: vice.texi contains content that is not valid iso-8859-1" >&2; \

-		false; \

-	fi

 	touch .vice-texi-charset-ok

 $(builddir)/vice.txt:	.vice-texi-charset-ok

diff --git a/vice/doc/Makefile.in b/vice/doc/Makefile.in

index ae36682..5b047ed 100644

--- a/vice/doc/Makefile.in

+++ b/vice/doc/Makefile.in

@@ -1108,10 +1108,6 @@ uninstall-am: uninstall-dist_docDATA uninstall-dvi-am \

 @UNIX_MACOSX_COMPILE_TRUE@export PATH := /usr/local/opt/texinfo/bin:$(PATH)

 .vice-texi-charset-ok:	$(srcdir)/vice.texi

-	if [ "`file --mime-encoding $<`" != "$<: iso-8859-1" ]; then \

-		echo "ERROR: vice.texi contains content that is not valid iso-8859-1" >&2; \

-		false; \

-	fi

 	touch .vice-texi-charset-ok

 $(builddir)/vice.txt:	.vice-texi-charset-ok