diff options
| author | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2014-10-07 19:23:45 +0200 |
|---|---|---|
| committer | Robin Haberkorn <robin.haberkorn@googlemail.com> | 2014-10-07 19:23:45 +0200 |
| commit | 08c58ff72efd61380e82329609c552d3c446071d (patch) | |
| tree | d4200ee62204797e325df4446784f982e4250faa /Makefile.am | |
| parent | af17bd73e210f16c8947acb8119ff9e2d3c2f054 (diff) | |
| parent | 35df3d7d0928b57166b2da800d40d38f079ce768 (diff) | |
Merge branch 'master' of https://github.com/rhaberkorn/sciteco
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/Makefile.am b/Makefile.am index b3aaf24..c019f96 100644 --- a/Makefile.am +++ b/Makefile.am @@ -6,7 +6,13 @@ noinst_HEADERS = compat/bsd/sys/cdefs.h \ compat/bsd/sys/queue.h \ compat/bsd/sys/tree.h -EXTRA_DIST = $(wildcard @top_srcdir@/patches/*.patch) \ - README +EXTRA_DIST = README TODO -EXTRA_DIST += TODO +# Distribute entire scintilla directory and +# do some manual cleanup +EXTRA_DIST += scintilla +dist-hook: + rm -rf `find $(distdir)/scintilla -name *.o` \ + $(distdir)/scintilla/bin/scintilla.a + rm -rf `find $(distdir)/scintilla -name ".git*"` \ + `find $(distdir)/scintilla -name ".hg*"` |