diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/Makefile b/Makefile index 06f3dc92..2acb95a1 100644 --- a/Makefile +++ b/Makefile @@ -90,15 +90,3 @@ commit: test snapshot: git archive HEAD | gzip > $(NAME)-$(VERSION)-$(shell git rev-list HEAD | head -n 1 | cut -b 1-8).tar.gz - -minimal_snapshot: - @echo 'This is not quite working well. I will abort now' && false - git checkout -b no_help - git rm -rf doc - git rm -rf test - git rm all_tests.py - git rm TODO - git commit -a -m'removed documentation' - git archive HEAD | gzip > $(NAME)-$(VERSION)-$(shell git rev-list HEAD | head -n 1 | cut -b 1-8).tar.gz - git reset --hard no_help^ - git branch -D no_help |