diff options
Diffstat (limited to 'Master/bin/alpha-linux')
| l--------- | Master/bin/alpha-linux/pmx | 1 | ||||
| l--------- | Master/bin/alpha-linux/pmx2pdf | 1 | ||||
| -rwxr-xr-x | Master/bin/alpha-linux/prepmx | bin | 153472 -> 0 bytes |
3 files changed, 1 insertions, 1 deletions
diff --git a/Master/bin/alpha-linux/pmx b/Master/bin/alpha-linux/pmx deleted file mode 120000 index 767c2118eb6..00000000000 --- a/Master/bin/alpha-linux/pmx +++ /dev/null @@ -1 +0,0 @@ -../../texmf-dist/scripts/pmx/pmx.lua
\ No newline at end of file diff --git a/Master/bin/alpha-linux/pmx2pdf b/Master/bin/alpha-linux/pmx2pdf new file mode 120000 index 00000000000..73d88404556 --- /dev/null +++ b/Master/bin/alpha-linux/pmx2pdf @@ -0,0 +1 @@ +../../texmf-dist/scripts/pmx/pmx2pdf.lua
\ No newline at end of file diff --git a/Master/bin/alpha-linux/prepmx b/Master/bin/alpha-linux/prepmx Binary files differdeleted file mode 100755 index f3c28c6b2fc..00000000000 --- a/Master/bin/alpha-linux/prepmx +++ /dev/null |