[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:        
---------------------+------------------------------------------------------
 $(HTMLFILES) in Makefile.common consists of all the $2.html.$1 files that
 have a corresponding $1/$2.wml file.

 So when 'make clean' does "rm -f $(HTMLFILES) $(DEPFILES)" it misses
 foo.html.bar files whose wml file we have deleted.

 For example, download/download.html.de exists and doesn't get cleaned,
 because download/de/ has no download.wml file.

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