--- a/Makefile.am Sat Jun 08 08:37:45 2002 +0000 +++ b/Makefile.am Sat Jun 08 08:38:11 2002 +0000 @@ -35,5 +35,5 @@ docs dist-hook: - rm -rf `find $(distdir)/docs -name CVS` + rm -rf $(distdir)/docs/*