diff options
| -rw-r--r-- | distrib/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/distrib/Makefile b/distrib/Makefile index 6a3cea54e5..255e1572d0 100644 --- a/distrib/Makefile +++ b/distrib/Makefile @@ -63,8 +63,9 @@ tar-gz: @echo -n Removing the maintenance files and doc... # @rm -rf ${COQPACKAGE}/doc # doc is implementation doc @rm -rf ${COQPACKAGE}/distrib -# @rm -rf ${COQPACKAGE}/KNOWN-BUGS + @rm -rf ${COQPACKAGE}/KNOWN-BUGS @rm -rf ${COQPACKAGE}/{TODO,ANNONCE,PROBLEMES} + @rm -rf ${COQPACKAGE}/theories/Num @find ${COQPACKAGE} -name ".cvsignore" -exec rm {} \; @echo done @echo -n Building the tar.gz source package |