diff options
author | Herbert Duerr [hdu] <duerr@sun.com> | 2010-04-23 09:09:53 +0200 |
---|---|---|
committer | Herbert Duerr [hdu] <duerr@sun.com> | 2010-04-23 09:09:53 +0200 |
commit | d2dd8e23efe152466cee2ae1deb0d213ba2bf018 (patch) | |
tree | c6057bbd44d6a2e1bd222c72e20c96bd752f4818 /configure | |
parent | a0de0def4a49a63c6675a622123b793da8b4c78d (diff) |
#i111077# prepare rename folder of third-party fonts
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/configure b/configure index 758b170295e1..b1d719629c57 100755 --- a/configure +++ b/configure @@ -28060,13 +28060,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 |