diff options
| -rw-r--r-- | distrib/Makefile | 3 | ||||
| -rwxr-xr-x | distrib/check-list | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/distrib/Makefile b/distrib/Makefile index 786dc4c117..e6948a799c 100644 --- a/distrib/Makefile +++ b/distrib/Makefile @@ -62,7 +62,8 @@ tar-gz: @echo -n Removing the maintenance files and doc... @rm -rf ${COQPACKAGE}/doc @rm -rf ${COQPACKAGE}/distrib - @rm -rf ${COQPACKAGE}/{KNOWN-BUGS,TODO,ANNONCE} +# @rm -rf ${COQPACKAGE}/KNOWN-BUGS + @rm -rf ${COQPACKAGE}/{TODO,ANNONCE,PROBLEMES} @find ${COQPACKAGE} -name ".cvsignore" -exec rm {} \; @echo done @echo -n Building the tar.gz source package diff --git a/distrib/check-list b/distrib/check-list index 6f22987489..28a04fe81b 100755 --- a/distrib/check-list +++ b/distrib/check-list @@ -33,7 +33,7 @@ fi echo "Please answer y or n to questions" -if grep $version $COQPACKAGE/src/meta/library.ml > /dev/null; then +if grep $version $COQPACKAGE/library/library.ml > /dev/null; then echo "Found a reference to $version in library.ml..." echo " ... I guess the magic numbers have been changed" else |