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

[BuildTools]

#34: EXTRA_DIST need to be set
--------------------+-------------------------------------------------------
Reporter:  stefan   |        Owner:  andreasw           
    Type:  defect   |       Status:  closed             
Priority:  trivial  |    Component:  configuration tests
 Version:  0.5      |   Resolution:  fixed              
Keywords:           |  
--------------------+-------------------------------------------------------
Changes (by andreasw):

  * status:  new => closed
  * resolution:  => fixed

Comment:

 I added this in the wiki documentation.

 (The documentation is a wiki, i.e., everybody can correct things... ;)

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