diff --git a/TeXmacs/progs/generic/generic-edit.scm b/TeXmacs/progs/generic/generic-edit.scm index 2f5fd464e5..c871c9e030 100644 --- a/TeXmacs/progs/generic/generic-edit.scm +++ b/TeXmacs/progs/generic/generic-edit.scm @@ -842,7 +842,7 @@ (insert-go-to `(inactive (specific ,s "")) '(0 1 0)))) (tm-define (make-include u) - (insert `(include ,(url->delta-unix u)))) + (insert `(include ,(utf8->cork (url->delta-unix u))))) (tm-define (make-inline-image l) (apply make-image (cons* (url->delta-unix (car l)) #f (cdr l)))) diff --git a/src/Typeset/Env/env_exec.cpp b/src/Typeset/Env/env_exec.cpp index 05741e4c84..9c77a3123b 100644 --- a/src/Typeset/Env/env_exec.cpp +++ b/src/Typeset/Env/env_exec.cpp @@ -109,7 +109,7 @@ edit_env_rep::rewrite (tree t) { case VAR_INCLUDE: { if (N(t) == 0) return tree (ERROR, "invalid include"); - url file_name= url_unix (exec_string (t[0])); + url file_name= url_unix (cork_to_utf8 (exec_string (t[0]))); url file_rel = relative (base_file_name, file_name); if (file_rel == base_file_name) return tree (ERROR, "invalid self include");