summaryrefslogtreecommitdiff
path: root/Master/tlpkg
diff options
context:
space:
mode:
Diffstat (limited to 'Master/tlpkg')
-rwxr-xr-xMaster/tlpkg/libexec/ctan2tds1
-rw-r--r--Master/tlpkg/tlpsrc/petri-nets.tlpsrc1
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