From 79d2ba13adadaf724f8daa40c464d1b07d980ab8 Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Sun, 7 Jun 2020 23:53:06 +0100
Subject: [PATCH] syntax.dtx: Disable ligatures in `\readupto'.
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

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

`\@noligs' didn't exist when this was written, but it does now.
---
 syntax.dtx | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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%
-- 
2.11.0