Re: [MacPorts] #13911: TeXmacs should depend on texLive not teTeX