[tor-bugs] #4000 [Website]: 'make clean' on website doesn't remove html files that have no parent wml file

[Tor Bug Tracker & Wiki]

#4000: 'make clean' on website doesn't remove html files that have no parent wml
file
------------------------+---------------------------------------------------
    Reporter:  arma     |       Owner:  phobos
        Type:  defect   |      Status:  closed
    Priority:  normal   |   Milestone:        
   Component:  Website  |     Version:        
  Resolution:  fixed    |    Keywords:        
      Parent:           |      Points:        
Actualpoints:           |  
------------------------+---------------------------------------------------
Changes (by arma):

  * status:  new => closed
  * resolution:  => fixed


-- 
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/4000#comment:3>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online