-
Roland Levillain authored
* nodist-headers: New. * generate_dist_headers.sh: Prune the list of headers to distribute using file `nodist-headers'. * Makefile.am (EXTRA_DIST): Add nodist-headers. ($(srcdir)/headers.mk): Depend on nodist-headers. git-svn-id: https://svn.lrde.epita.fr/svn/oln/trunk@4129 4aad255d-cdde-0310-9447-f3009e2ae8c0
57e717b1