![](https://secure.gravatar.com/avatar/cedc4d83943006afe3994fb0a0455f82.jpg?s=120&d=mm&r=g)
14 Jan
2008
14 Jan
'08
4:17 p.m.
Hello, What about these 2 new stubs: stubs/unix/texmfstart: #!/bin/sh script=$(dirname $0)/../../ruby/texmfstart.rb exec $script "$@" # (or exec ruby $script "$@") stubs/unix/texsync: #!/bin/sh texmfstart texsync.rb "$@" # (Or is texsync now obsolete and replaced by another script?) Cheers, Peter -- http://pmrb.free.fr/contact/