[BuildTools-tickets] [BuildTools] #34: EXTRA_DIST need to be set

[BuildTools]

#34: EXTRA_DIST need to be set
--------------------+-------------------------------------------------------
Reporter:  stefan   |       Owner:  andreasw           
    Type:  defect   |      Status:  new                
Priority:  trivial  |   Component:  configuration tests
 Version:  0.5      |    Keywords:                     
--------------------+-------------------------------------------------------
 If I have no extra files to add to a distribution, I still need to set the
 EXTRA_DIST variable to an empty value ("EXTRA_DIST = ") in order to get no
 conflict in {{{BuildTools/Makemain.inc:54}}}.
 Maybe that should be mentioned here again.

-- 
Ticket URL: <https://projects.coin-or.org/BuildTools/ticket/34>
BuildTools <http://projects.coin-or.org/BuildTools>
Tools for configuring and compiling COIN-OR codes