diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-10-19 11:50:16 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-10-19 11:50:16 -0700 |
| commit | e941ba05b911d01a51614b0b0060f705b2000688 (patch) | |
| tree | 65267f3b1540fbdccdc30f34fc91421eb3374e08 /linux/make_linux.sh | |
| parent | 9bb8a1f1707a7bd240af07ad41d74dbcc9dee181 (diff) | |
LaTeX reader: handle `\DeclareRobustCommand`.
Currently it's just treated as a synonym for `\newcommand`.
Handles the second case mentioned in #3983.
Diffstat (limited to 'linux/make_linux.sh')
0 files changed, 0 insertions, 0 deletions