On Thu, 10 Nov 2005, Ralf Treinen wrote:
Earlier versions of this script used "which". It was changed to "type -p" because some systems don't have "which" (cygwin?).In case you are talkig about maxima_detect : "type -p" is a bashism.
Andrey _______________________________________________ Texmacs-dev mailing list [email protected] http://lists.gnu.org/mailman/listinfo/texmacs-dev
