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://git.distorted.org.uk/~mdw/mdwtools/commitdiff_plain/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.
---

diff --git a/syntax.dtx b/syntax.dtx
index ee0f4e3..5b4bd94 100644
--- a/syntax.dtx
+++ b/syntax.dtx
@@ -35,7 +35,7 @@
 %<+package>                [2003/08/25 1.08 Syntax typesetting (MDW)]
 % \end{meta-comment}
 %
-% \CheckSum{1627}
+% \CheckSum{1628}
 %% \CharacterTable
 %%  {Upper-case    \A\B\C\D\E\F\G\H\I\J\K\L\M\N\O\P\Q\R\S\T\U\V\W\X\Y\Z
 %%   Lower-case    \a\b\c\d\e\f\g\h\i\j\k\l\m\n\o\p\q\r\s\t\u\v\w\x\y\z
@@ -1102,6 +1102,7 @@
   \bgroup%
   \verb@eol@error%
   \let\do\@makeother\dospecials%
+  \@noligs%
   #2%
   \catcode`#1\active%
   \lccode`\~`#1%