docs update

Author: Alanthink

docs/Makefile

@@ -1,4 +1,4 @@
-.PHONY = help docs preview reset push
+.PHONY = help docs preview reset push push_main
 
 .DEFAULT: help
 help:
@@ -10,6 +10,8 @@ help:
 	@echo "       reset the documentation"
 	@echo "make push"
 	@echo "       push the documentation changes"
+	@echo "make push_main"
+	@echo "       push the documentation changes to the main repository"
 
 docs:
 	# Delete previous built files
@@ -29,3 +31,6 @@ reset:
 
 push:
 	cd site && git push
+
+push_main:
+	git add . && git commit -m "docs update" && git push

docs/README.md

@@ -33,6 +33,12 @@ If you are satisfied with the changes, you can do
 make push
 ```
 
-to push the changes to remote repository for submodule `site`. 
+to push the changes to remote repository for submodule `site`.
 
-Finally, do not forget to make a new commit to the main repository i.e., `banditpylib` to record this update.
+Finally, do not forget to do
+
+```bash
+make push_main
+```
+
+make a new commit to the main repository i.e., `banditpylib` to record this update.

docs/site

@@ -141,11 +141,9 @@ @article{DBLP:journals/siamcomp/AuerCFS02
   year      = {2002},
 }
 
-@misc{tao2019collaborative,
+@inproceedings{tao2019collaborative,
   title={Collaborative Learning with Limited Interaction: Tight Bounds for Distributed Exploration in Multi-Armed Bandits}, 
   author={Chao Tao and Qin Zhang and Yuan Zhou},
+  booktitle = {FOCS},
   year={2019},
-  eprint={1904.03293},
-  archivePrefix={arXiv},
-  primaryClass={cs.LG}
 }