diff --git a/Makefile.am b/Makefile.am index 450f91937370cc36ee9592647a7a569b0a3438af..499f0667570db23b848d8decb06285192a65bc2d 100644 --- a/Makefile.am +++ b/Makefile.am @@ -30,14 +30,7 @@ cvs-clean: cp -f INSTALL admin/ chgrp -R albert * -# -# this one requires write access to the source directory. One day one might -# want to automakify ALBERT/doc/ ... -# -documentation: - make -C $(top_srcdir)/ALBERT/doc/ albert.ps - -dist-hook: documentation +dist-hook: @echo Deleting CVS directories in $(distdir) rm -rf `find $(distdir) -name CVS` @echo Deleting .cvsignore file in $(distdir)