diff options
| -rw-r--r-- | externals/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/externals/Makefile b/externals/Makefile index c7a79a25..2fcebad3 100644 --- a/externals/Makefile +++ b/externals/Makefile @@ -598,7 +598,7 @@ endif (test -d $(gem_src)/manual && \ install -p $(gem_src)/manual/*.* $(DESTDIR)$(objectsdir)/$(GEM_NAME)/manual/html ) || \ install -p $(gem_src)/doc/manual/*.* $(DESTDIR)$(objectsdir)/$(GEM_NAME)/manual/html - for dir in $(shell ls -1 $(gem_src)/examples | grep -v CVS); do \ + for dir in $(shell ls -1F $(gem_src)/examples | grep '/'); do \ echo "installing $$dir"; \ install -d $(DESTDIR)$(objectsdir)/$(GEM_NAME)/examples/$$dir ; \ install -p $(gem_src)/examples/$$dir/*.* $(DESTDIR)$(objectsdir)/$(GEM_NAME)/examples/$$dir ;\ |