[MacPorts] #30541: valgrind @3.6.1_2 - install on case sensitive HFS+ fails due to FAQ.html and faq.html

[MacPorts]

#30541: valgrind @3.6.1_2 - install on case sensitive HFS+ fails due to FAQ.html
and faq.html
---------------------------+------------------------------------------------
 Reporter:  nick@…         |       Owner:  macports-tickets@…                   
     Type:  defect         |      Status:  new                                  
 Priority:  Normal         |   Milestone:                                       
Component:  ports          |     Version:  2.0.1                                
 Keywords:                 |        Port:  valgrind                             
---------------------------+------------------------------------------------
 valgrind 3.6.1 contains both faq.html and FAQ.html

 {{{
 $ tar tfj
 /opt/local/var/macports/distfiles/valgrind/valgrind-3.6.1.tar.bz2 | grep
 -i faq.html
 valgrind-3.6.1/docs/html/faq.html
 valgrind-3.6.1/docs/html/FAQ.html
 }}}

 This is causing the install to choke on my system, where I have MacPorts
 installed on a case sensitive HFS+ partition. My `/tmp` is on /, which is
 a default HFS+, case-insensitive - I don't know if that is also
 contributing.

 Installation log attached (if Trac will let me)

 My scrollback isn't long enough to capture the original symptoms of the
 problem. valgrind was already installed from ports, version 3.6.1_0 I
 think. On upgrading, initially there was an error when installing that
 some path ending faq.html was present, but not registered to any port. So
 I re-ran the install attempt with `-f` and got something like the above
 error. Tried to re-install the earlier version, but I can't - I infer
 because the earlier version has been removed from ports. Tried to install
 a variant (`+universal`) to see if that fixed it, but the same error.

 Are `faq.html` and `FAQ.html` effectively duplicates? Can one simply be
 removed as part of the patching process?

-- 
Ticket URL: <https://trac.macports.org/ticket/30541>
MacPorts <http://www.macports.org/>
Ports system for Mac OS