Makefileの修正

diff --git a/Makefile b/Makefile
index 442c759631e18ef90db33065b223eb44163722f0..6612a8bd827b43ba85d7ef9259d0dffbe850390a 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,6 @@
 .PHONY: release docbase docall gitpush gittag clean distclean
 
-release:
+release: docbase gitpush
 
 docbase:
        $(MAKE) -C doc base