14 Jun
                
                    2007
                
            
            
                14 Jun
                
                '07
                
            
            
            
        
    
                4:53 p.m.
            
        On Thu, 14 Jun 2007 18:10:32 +0200, jiho <jo.irisson@...400...> wrote:
Is there an extra step to have them installed by "make install"? (I thought that everything in those directories was just copied).
Yes, in general, to be installed files need to be listed in Makefile_insert (or Makefile.am, if there's no _insert for that directory).
-mental