"layout");
if (tmp.empty()) {
- lexrc.printError("Could not find input"
- "file: " + inc);
+ lexrc.printError("Could not find input file: " + inc);
error = true;
} else if (read(tmp, MERGE)) {
lexrc.printError("Error reading input"
case TC_REQUIRES: {
lexrc.eatLine();
- string const packages = lexrc.getString();
- requires_ = getVectorFromString(packages);
+ vector<string> const req
+ = getVectorFromString(lexrc.getString());
+ requires_.insert(req.begin(), req.end());
break;
}
FontInfo labelfont = inherit_font;
ColorCode bgcolor(Color_background);
string preamble;
- vector<string> requires;
+ set<string> requires;
bool multipar = false;
bool passthru = false;
bool needprotect = false;
break;
case IL_REQUIRES: {
lexrc.eatLine();
- string const packages = lexrc.getString();
- requires = getVectorFromString(packages);
+ vector<string> const req
+ = getVectorFromString(lexrc.getString());
+ requires.insert(req.begin(), req.end());
break;
}
case IL_END: