[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Freeipmi-devel] [bug #36796] make dist - cleanup pregenerated files
|
From: |
Diego Elio Pettenò |
|
Subject: |
Re: [Freeipmi-devel] [bug #36796] make dist - cleanup pregenerated files |
|
Date: |
Fri, 06 Jul 2012 00:48:50 +0200 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:13.0) Gecko/20120606 Thunderbird/13.0 |
Il 06/07/2012 00:41, Albert Chu ha scritto:
> yet it does not distribute some files that would be created by configure (i.e.
> man/ipmiping.8.pre). Why this discrepancy?
It depends on how they are declared, freeipmi.h is installed, so it's in
include_HEADERS (or something like that), which means that it get added
to the dist target.
I don't have the sources at hand to check, but you should probably get
out that file from the include_HEADERS variable and instead add it to a
new nodist_include_HEADERS variable (nodist means it won't get added to
the tarball).
HTH!
--
Diego Elio Pettenò — Flameeyes
address@hidden — http://blog.flameeyes.eu/