syntax.dtx: Disable ligatures in `\readupto'.
authorMark Wooding <mdw@distorted.org.uk>
Sun, 7 Jun 2020 22:53:06 +0000 (23:53 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 7 Jun 2020 22:53:44 +0000 (23:53 +0100)
Otherwise `<<' turns into `«', which is rather unhelpful.

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

syntax.dtx

index ee0f4e3..5b4bd94 100644 (file)
@@ -35,7 +35,7 @@
 %<+package>                [2003/08/25 1.08 Syntax typesetting (MDW)]
 % \end{meta-comment}
 %
 %<+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
 %% \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
   \bgroup%
   \verb@eol@error%
   \let\do\@makeother\dospecials%
   \bgroup%
   \verb@eol@error%
   \let\do\@makeother\dospecials%
+  \@noligs%
   #2%
   \catcode`#1\active%
   \lccode`\~`#1%
   #2%
   \catcode`#1\active%
   \lccode`\~`#1%