#12913: tetex is dead -----------------------------------+---------------------------------------- Reporter: zach@tu-clausthal.de | Owner: gwright@macports.org Type: enhancement | Status: new Priority: Normal | Milestone: Port Enhancements Component: ports | Version: 1.5.0 Resolution: | Keywords: -----------------------------------+---------------------------------------- Comment (by jmr@macports.org): In a couple of days I'm going to declare a maintainer timeout for all the ports listed in comment:11, and I will then switch each one over to texlive unless it's obvious to me from the portfile that there's a good reason for not doing so. If your port shouldn't be switched over, say so now. -- Ticket URL: <http://trac.macports.org/ticket/12913#comment:13> MacPorts <http://www.macports.org/> Ports system for Mac OS