diff options
| -rw-r--r-- | Build/source/texk/web2c/xetexdir/xetex.ch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Build/source/texk/web2c/xetexdir/xetex.ch b/Build/source/texk/web2c/xetexdir/xetex.ch index 19294829d60..c9c57f3c395 100644 --- a/Build/source/texk/web2c/xetexdir/xetex.ch +++ b/Build/source/texk/web2c/xetexdir/xetex.ch @@ -672,8 +672,8 @@ undump_checked_things(0, pool_ptr, str_start_macro(too_big_char), str_ptr+1-too_ if is_native_font(k) or (font_mapping[k]<>0) then begin print_file_name(font_name[k],"",""); print_err("Can't \dump a format with native fonts or font-mappings"); - help3("You really, really don't want to do this.") - ("It won't work, and only confuses me.") + help3("You really, really don't want to do this.")@/ + ("It won't work, and only confuses me.")@/ ("(Load them at runtime, not as part of the format file.)"); error; end |