+2000-05-09 Dave Love <fx@gnu.org>
+
+ * Makefile.in (install-arch-indep): Filter CVS as well as RCS.
+
2000-05-05 Gerd Moellmann <gerd@gnu.org>
* make-dist: Make a link for lib-src/grep-changelog. Copy
&& (echo "Copying $${dir} to $${dest}..." ; \
(cd $${dir}; tar -cf - . ) \
|(cd $${dest};umask 022; tar -xvf - && cat > /dev/null); \
- for subdir in `find $${dest} -type d ! -name RCS -print` ; do \
+ for subdir in `find $${dest} -type d ! -name RCS ! -name CVS -print` ; do \
chmod a+rx $${subdir} ; \
rm -rf $${subdir}/RCS ; \
rm -rf $${subdir}/CVS ; \
dist:
cd ${srcdir}; ./make-dist
-.PHONY: info dvi dist check
+.PHONY: info dvi dist check html
force-info:
info: force-info
# Note that man/Makefile knows how to