[CoinMP-tickets] [CoinMP Library] #6: uninstall fails to remove examples directory

[CoinMP Library]

#6: uninstall fails to remove examples directory
------------------------+---------------------------------------------------
 Reporter:  stefan      |       Owner:  somebody
     Type:  defect      |      Status:  new     
 Priority:  normal      |   Milestone:          
Component:  component1  |     Version:          
 Severity:  normal      |    Keywords:          
------------------------+---------------------------------------------------
 Hi,

 {{{make uninstall}}} (for trunk) fails for me with
 {{{
 rm -f [...]/share/doc/coin/CoinMP/examples
 rm: cannot remove `[...]/share/doc/coin/CoinMP/examples': Is a directory
 }}}

 I believe the line
 {{{
         rm -f $(DESTDIR)$(examplesdir)
 }}}
 in {{{CoinMP/Makefile.am}}} should be changed into
 {{{
         rmdir $(DESTDIR)$(examplesdir)
 }}}
 or
 {{{
         rm -rf $(DESTDIR)$(examplesdir)
 }}}

 Best,
 Stefan

-- 
Ticket URL: <https://projects.coin-or.org/CoinMP/ticket/6>
CoinMP Library <http://projects.coin-or.org/CoinMP>
A lightweight API for some COIN-OR tools