[MacPorts] #12913: tetex is dead

[MacPorts]

#12913: tetex is dead
-----------------------------------+----------------------------------------
  Reporter:  zach@…                |       Owner:  gwright@…           
      Type:  enhancement           |      Status:  closed              
  Priority:  Normal                |   Milestone:  Port Enhancements   
 Component:  ports                 |     Version:  1.5.0               
Resolution:  fixed                 |    Keywords:                      
      Port:                        |  
-----------------------------------+----------------------------------------

Comment(by css@…):

 r43265 fixes the doxygen port to match the others.

-- 
Ticket URL: <http://trac.macports.org/ticket/12913#comment:17>
MacPorts <http://www.macports.org/>
Ports system for Mac OS