diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/configure b/configure index dbfcf51e5d10..ea700c0e22af 100755 --- a/configure +++ b/configure @@ -28065,13 +28065,13 @@ echo "${ECHO_T}no" >&6 SCPDEFS="$SCPDEFS -DWITHOUT_MATHMLDTD" fi -echo "$as_me:$LINENO: checking whether to include Bitstream Vera fonts" >&5 -echo $ECHO_N "checking whether to include Bitstream Vera fonts... $ECHO_C" >&6 +echo "$as_me:$LINENO: checking whether to include third-party fonts" >&5 +echo $ECHO_N "checking whether to include third-party fonts... $ECHO_C" >&6 if test "$with_fonts" != "no" ; then echo "$as_me:$LINENO: result: yes" >&5 echo "${ECHO_T}yes" >&6 WITH_FONTS=YES - BUILD_TYPE="$BUILD_TYPE BITSTREAM_VERA_FONTS" + BUILD_TYPE="$BUILD_TYPE MORE_FONTS" else echo "$as_me:$LINENO: result: no" >&5 echo "${ECHO_T}no" >&6 |