diff options
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-x | Master/tlpkg/libexec/ctan2tds | 1 | ||||
-rw-r--r-- | Master/tlpkg/tlpsrc/petri-nets.tlpsrc | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/Master/tlpkg/libexec/ctan2tds b/Master/tlpkg/libexec/ctan2tds index 63603822a46..109041e1d31 100755 --- a/Master/tlpkg/libexec/ctan2tds +++ b/Master/tlpkg/libexec/ctan2tds @@ -2686,6 +2686,7 @@ $standardttf = '\.ttf|\.TTC'; 'pkfix-helper' => 'pkfix-helper$', 'pmx' => '\.lua$', 'pmxchords' => 'pmxchords\.lua$', + 'petri-nets' => 'pn2pdf', 'pst2pdf' => 'pst2pdf\.pl$', 'ptex2pdf' => 'ptex2pdf\.lua$', 'purifyeps' => 'purifyeps$', diff --git a/Master/tlpkg/tlpsrc/petri-nets.tlpsrc b/Master/tlpkg/tlpsrc/petri-nets.tlpsrc index e69de29bb2d..eda013862f4 100644 --- a/Master/tlpkg/tlpsrc/petri-nets.tlpsrc +++ b/Master/tlpkg/tlpsrc/petri-nets.tlpsrc @@ -0,0 +1 @@ +binpattern f bin/${ARCH}/pn2pdf |