Use full name of conda installer as target

Signed-off-by: Daniel Lim Wee Soong <weesoong.lim@gmail.com>

docs/Makefile

diff --git a/docs/Makefile b/docs/Makefile
index d36cd84..2bff6bc 100644
--- a/docs/Makefile
+++ b/docs/Makefile
@@ -37,14 +37,14 @@
 .PHONY: help livehtml Makefile
 
 
-env/Miniconda3:
+env/Miniconda3-latest-$(OSFLAG)-x86_64.sh:
 	mkdir env
 	wget https://repo.anaconda.com/miniconda/Miniconda3-latest-$(OSFLAG)-x86_64.sh -O env/Miniconda3-latest-$(OSFLAG)-x86_64.sh
 	chmod a+x env/Miniconda3-latest-$(OSFLAG)-x86_64.sh
 
 env:
 	rm -rf env
-	make env/Miniconda3
+	make env/Miniconda3-latest-$(OSFLAG)-x86_64.sh
 	./env/Miniconda3-latest-$(OSFLAG)-x86_64.sh -p $(PWD)/env -b -f
 	source env/bin/activate; conda config --system --add envs_dirs $(PWD)/env/envs
 	source env/bin/activate; conda config --system --add pkgs_dirs $(PWD)/env/pkgs