ndwarshuis
/
org-mode
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Minor fixes to the Makefile.

This commit is contained in:
Carsten Dominik 2008-04-24 10:47:29 +02:00
parent 2ea352b4cf
commit 2c81d25208
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
Makefile
View File

@ -215,7 +215,6 @@ distfile:
release:
@if [ "X$(TAG)" = "X" ]; then echo "*** No tag ***"; exit 1; fi
make webfiles
make distfile
make doc
make html_manual
@ -267,7 +266,7 @@ pushtag:
git-push git+ssh://repo.or.cz/srv/git/org-mode.git $(TAG)
pushreleasetag:
git-tag -m "Adding tag" -a $(TAG)
git-tag -m "Adding tag" -a release_$(TAG)
git-push git+ssh://repo.or.cz/srv/git/org-mode.git release_$(TAG)