Cleanup following the removal of HTML entities

The remaining part that was not handled in the previous commit. It focuses on lib/symbols.
This commit is contained in:
Thibaut Cuvelier 2022-12-23 03:26:25 +01:00
parent bc73a85778
commit c77872f314
2 changed files with 837 additions and 839 deletions

File diff suppressed because it is too large Load Diff

View File

@ -187,17 +187,15 @@ void initSymbols()
// or
// \def\macroname{definition} requires
// or
// \def\macroname{definition} extra htmlname xmlname requires
// TODO: remove htmlname
// \def\macroname{definition} extra xmlname requires
istringstream is(line);
string macro;
string required;
string extra;
string htmlname; // Ignored. TODO: remove.
string xmlname;
bool hidden = false;
is >> setw(65536) >> macro >> required;
if ((is >> htmlname >> xmlname)) {
if ((is >> xmlname)) {
extra = required;
if (!(is >> required))
required = "";