From: Mark Wooding <mdw@distorted.org.uk>
Date: Sun, 7 Jun 2020 22:53:06 +0000 (+0100)
Subject: syntax.dtx: Disable ligatures in `\readupto'.
X-Git-Tag: 1.8.2~4
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/mdwtools/commitdiff_plain/79d2ba13adadaf724f8daa40c464d1b07d980ab8?ds=sidebyside;hp=79d2ba13adadaf724f8daa40c464d1b07d980ab8

syntax.dtx: Disable ligatures in `\readupto'.

Otherwise `<<' turns into `«', which is rather unhelpful.

`\@noligs' didn't exist when this was written, but it does now.
---