[Doc] Update ANTLR instruction (#4231)
authorWei Chen <ipondering.weic@gmail.com>
Thu, 31 Oct 2019 02:52:12 +0000 (19:52 -0700)
committerTianqi Chen <tqchen@users.noreply.github.com>
Thu, 31 Oct 2019 02:52:12 +0000 (19:52 -0700)
commit18673112934a619cf100cab25e840c188198963e
tree4718371c98c04af7e3d5aad5e910bfa7c1491110
parent31b47c84b306e8405aee58372a9ed5bea1d90570
[Doc] Update ANTLR instruction (#4231)

* [Doc] Update ANTLR instruction

* Update docs/install/from_source.rst
docs/install/from_source.rst