Home | History | Annotate | Download | only in dist

Lines Matching refs:withval

12080   withval=$with_xmlto; use_xmlto=$withval
12287   withval=$with_fop; use_fop=$withval
12469   withval=$with_lint; use_lint=$withval
12760   withval=$with_default_config_file; CONFIG_FILE="$withval"
12820   withval=$with_fontrootdir; FONTROOTDIR="$withval"
12844   withval=$with_fontmiscdir; FONTMISCDIR="${withval}"
12863   withval=$with_fontotfdir; FONTOTFDIR="${withval}"
12882   withval=$with_fontttfdir; FONTTTFDIR="${withval}"
12901   withval=$with_fonttype1dir; FONTTYPE1DIR="${withval}"
12920   withval=$with_font75dpidir; FONT75DPIDIR="${withval}"
12939   withval=$with_font100dpidir; FONT100DPIDIR="${withval}"
12990   withval=$with_default_font_path;  FONTPATH="$withval"