diff options
author | NitinKM | 2024-01-08 02:46:53 +0000 |
---|---|---|
committer | GitHub | 2024-01-08 02:46:53 +0000 |
commit | e46fb585954a131a8f96cfd71cf2705fe0ff1e02 (patch) | |
tree | 58992e9b2a9d0c10730e04465f98e5dcea71b3d9 /runtime/themes | |
parent | 00d681cc69fcc0d58f3603709400d26ea2647114 (diff) |
Info on how to skip grammar build when building from source (#8698)
* info: no grammar compile
Added instructions on how to compile without compiling grammars
* Update book/src/install.md
Co-authored-by: Michael Davis <mcarsondavis@gmail.com>
---------
Co-authored-by: Michael Davis <mcarsondavis@gmail.com>
Diffstat (limited to 'runtime/themes')
0 files changed, 0 insertions, 0 deletions