[MacPorts] #12913: tetex is dead

[MacPorts]

#12913: tetex is dead
-----------------------------------+----------------------------------------
  Reporter:  zach at tu-clausthal.de  |       Owner:  gwright at macports.org
      Type:  enhancement           |      Status:  new                 
  Priority:  Normal                |   Milestone:  Port Enhancements   
 Component:  ports                 |     Version:  1.5.0               
Resolution:                        |    Keywords:                      
-----------------------------------+----------------------------------------
Comment (by jmr at 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