diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2015-01-22 23:17:25 -0800 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2015-01-22 23:17:25 -0800 |
| commit | d90dc6b8b569805d2ffb36b6ad56da064343f13c (patch) | |
| tree | bb88f77fff24f140379cecb9f35b3e8facadeaea /make_deb.sh | |
| parent | e88119f2d144dc4a1463b0c451f11fdc6becc4c7 (diff) | |
LaTeX reader: don't limit includes to .tex extension.
Previously `\input` and `\include` would only work if the
included files had the extension `.tex`. This change relaxes
that restriction, though if the extension is not `.tex`, it
must be given explicitly in the `\input` or `\include`.
Closes #1882.
Diffstat (limited to 'make_deb.sh')
0 files changed, 0 insertions, 0 deletions