This file is indexed.

/usr/bin/tex2eps is in mgp 1.13a+upstream20090219-6.

This file is owned by root:root, with mode 0o755.

The actual contents of the file can be viewed below.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
#! /bin/sh
#
# The script is contributed by Sylvain Pion <Sylvain.Pion@sophia.inria.fr>.
#  Subject: (mgp-users 00071) Re: remarks against 1.04a
#
# Expected usage:
#	%filter "tex2eps.sh b"
#	My \TeX\ is nicer with $Magic$ Point
#	%endfilter
#	%image "b.eps" 250x200
#

# temporary filename (without .eps suffix)
tmp=$1

printf '\\nopagenumbers\n' > $tmp.tex
cat >> $tmp.tex
echo '\end' >> $tmp.tex
tex $tmp.tex > /dev/null 2> /dev/null
dvips -q -E $tmp.dvi -o $tmp.eps
/bin/rm -f $tmp.tex $tmp.log $tmp.dvi