- filename.set(lex.getString(), bufpath);
- } else if (token == "inzipName") {
- // this option is currently ignored because only files in
- // or under current document path is embeddable, and their
- // inzipName is automatically determined.
- lex.eatLine();
- } else if (token == "embed") {
- lex.next();
- string const name = lex.getString();
- filename.setInzipName(name);
- filename.setEmbed(!name.empty());
+ if (allowOrigin)
+ filename = buf.getReferencedFileName(lex.getString());
+ else
+ filename.set(lex.getString(), buf.filePath());