From 06b4da0de1388eb8403d3ad88915c117ab84877f Mon Sep 17 00:00:00 2001 From: Robin Haberkorn Date: Fri, 27 Jun 2025 16:10:14 +0200 Subject: fixed an asterisk in the manpage entry * We have to avoid `/*` within comments, so one of the two characters will have to use a named glyph. \[**] is actually a special symbol, which wasn't noticed until supporting Unicode. There is no named glyph for the plain asterisk. Thus we now use \[sl] to escape the `/` character. `/\c*` might have also worked. * grosciteco now supports the `sl` glyph. --- doc/grosciteco.tes | 1 + 1 file changed, 1 insertion(+) (limited to 'doc') diff --git a/doc/grosciteco.tes b/doc/grosciteco.tes index f9565b5..cbe0e61 100755 --- a/doc/grosciteco.tes +++ b/doc/grosciteco.tes @@ -113,6 +113,7 @@ EBN[input] [glyphs.Fc]» [glyphs.rs]\ [glyphs.ti]~ +[glyphs.sl]/ [glyphs.+]+ [glyphs.->]→ [glyphs.tm]™ -- cgit v1.2.3