diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2010-07-17 15:59:25 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2010-08-01 18:58:27 +0200 |
| commit | 0aa5fd17887a4e07b85471d781ce9c229703380f (patch) | |
| tree | efa69dccb01e80f8bff9b618f9caab6ce1653311 /Makefile | |
| parent | 5b512c949c76a0736f09be15af7070a78f60ab00 (diff) | |
Fix "make dist" in `include'.
* include/Makefile (lndist): New target. Copy `Makefile' and
`$(installhdrs)' to the distribution directory.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions