diff options
author | Karl Berry <karl@freefriends.org> | 2023-08-02 20:05:49 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2023-08-02 20:05:49 +0000 |
commit | acb7235f08e2f54cd0c2420abba35ae06aedeca3 (patch) | |
tree | cce4a2063324c0c8afc938eeff0ef7238d5c02a9 /Master/texmf-dist/tex/latex/eolang/eolang.sty | |
parent | 88807854101cd361e92f247a3cc32f264665c5d8 (diff) |
eolang (2aug23)
git-svn-id: svn://tug.org/texlive/trunk@67795 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/tex/latex/eolang/eolang.sty')
-rw-r--r-- | Master/texmf-dist/tex/latex/eolang/eolang.sty | 13 |
1 files changed, 8 insertions, 5 deletions
diff --git a/Master/texmf-dist/tex/latex/eolang/eolang.sty b/Master/texmf-dist/tex/latex/eolang/eolang.sty index 4c01f0e7612..a61409f0044 100644 --- a/Master/texmf-dist/tex/latex/eolang/eolang.sty +++ b/Master/texmf-dist/tex/latex/eolang/eolang.sty @@ -31,7 +31,7 @@ \NeedsTeXFormat{LaTeX2e} \ProvidesPackage{eolang} -[2023-07-01 0.13.0 Formulas and Graphs for EO Programming Language] +[2023-08-02 0.14.0 Formulas and Graphs for EO Programming Language] @@ -112,7 +112,7 @@ $macro = $ARGV[0]; open(my $fh, '<', $ARGV[1]); my $tex; { local $/; $tex = <$fh>; } -print "% This file is auto-generated by 0.13.0\n"; +print "% This file is auto-generated by 0.14.0\n"; print '% There are ', length($tex), ' chars in the input: ', $ARGV[1], "\n"; print '% ---', "\n"; @@ -403,7 +403,9 @@ for (my $c = 0; $c < 0+@cmds; $c++) { my ($q, $t) = split(/:/, $p); $opts{$q} = $t; } - if (index($head, '->') >= 0) { + if (index($head, '\\') == 0) { + print $cmd; + } elsif (index($head, '->') >= 0) { my $draw = '\draw['; if (exists $opts{'pi'}) { $draw = $draw . '<MB:phi-pi><F:draw=none>'; @@ -574,6 +576,9 @@ for (my $c = 0; $c < 0+@cmds; $c++) { } else { print ',phi-object'; } + if (exists $opts{'edgeless'}) { + print ',draw=none'; + } print ']'; print ' (' . $head . ')'; print ' {'; @@ -594,8 +599,6 @@ for (my $c = 0; $c < 0+@cmds; $c++) { print $head, '.south east) {'; print $opts{'box'}, '}'; } - } else { - print $cmd; } print ";\n"; } |