[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:  new   
 Priority:  normal   |      Milestone:        
Component:  Website  |        Version:        
 Keywords:           |         Parent:        
   Points:           |   Actualpoints:        
---------------------+------------------------------------------------------

Comment(by arma):

 Going with the more thorough
 {{{
 -       rm -f $(HTMLFILES) $(DEPFILES)
 +       rm -f *.html.* .deps/*.html.*.d
 }}}
 since we see a similar behavior with $(DEPFILES) not removing dep files
 that don't have corresponding wml file.

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