diff --git a/src/Makefile.in b/src/Makefile.in index d2660a9aec903da91d47dea9b291dedd112465cc..3047666679cd0352a37b3db201f7eef3f0ac66bb 100644 --- a/src/Makefile.in +++ b/src/Makefile.in @@ -1,5 +1,5 @@ # -# $Id: Makefile.in,v 1.96 1998/05/29 21:02:32 grubba Exp $ +# $Id: Makefile.in,v 1.97 1998/06/06 03:13:05 hubbe Exp $ # # This line is needed on some machines. @@ -207,7 +207,7 @@ install: pike hilfe chmod u+w "$(lib_prefix)/$$d/."; \ fi; \ done - @for d in `cd "$(LIBDIR_SRC)"; find . ! -name CVS -type d -print`; do \ + @for d in `cd "$(LIBDIR_SRC)"; find . ! -name CVS ! -name '.#*' ! -name '#*#' ! -name '*~' -type d -print`; do \ if [ -d "$(share_prefix)/$$d/." ]; then : ; else \ echo "$(share_prefix)/$$d"; \ mkdir "$(share_prefix)/$$d" || exit 1; \