remove docs target from all target

fixes flanksource#34 . this is due to the fact that docs target tries to push to the main repo and not everyone has access to it, but they will run make and hit an error due to this
adrianmester · Feb 10, 2020 · ecd0b5a · ecd0b5a
1 parent c42cb57
commit ecd0b5a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -4,7 +4,7 @@ ifeq ($(VERSION),)
 VERSION := $(shell git describe --tags)
 endif
 
-all: test docs integration
+all: test integration
 
 .PHONY: clean
 clean: