Modified: Makefile

	Add --tags for git-push

diff --git a/Makefile b/Makefile
index f418097..3d0d132 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -87,24 +87,24 @@ git-commit-others::
        cd others; git commit 
 
 git-backup::
-       git push $(EOS_GIT_BACKUPSITE) master 
+       git push $(EOS_GIT_BACKUPSITE) master  --tags
 
 git-push-all:: git-push git-push-data git-push-optional git-push-tutorial git-push-others
 
 git-push::
-       git push origin master 
+       git push origin master  --tags
 
 git-push-optional::
-       cd optional; git push optional master 
+       cd optional; git push optional master --tags
 
 git-push-data::
-       cd data; git push data master 
+       cd data; git push data master --tags
 
 git-push-tutorial::
-       cd tutorial; git push tutorial master 
+       cd tutorial; git push tutorial master --tags 
 
 git-push-others::
-       cd others; git push tutorial master 
+       cd others; git push tutorial master --tags
 
 git-fetch-all:: git-fetch git-fetch-data git-fetch-optional git-fetch-tutorial git-fetch-others