Commit 0873b07
authored
Fetch Djot grammar dynamically instead of committing it (#96)
* Fetch Djot grammar dynamically instead of committing it
- Add postinstall script to fetch grammar from djot-intellij
- Add grammars directory to .gitignore
- Remove stale local copy (workflow already fetches at build time)
This ensures local development always uses the latest grammar
from upstream, staying in sync with CI builds.
* Add documentation site section to CONTRIBUTING.md1 parent f99c6e5 commit 0873b07
4 files changed
Lines changed: 26 additions & 580 deletions
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
21 | 21 | | |
22 | 22 | | |
23 | 23 | | |
| 24 | + | |
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
114 | 114 | | |
115 | 115 | | |
116 | 116 | | |
| 117 | + | |
| 118 | + | |
| 119 | + | |
| 120 | + | |
| 121 | + | |
| 122 | + | |
| 123 | + | |
| 124 | + | |
| 125 | + | |
| 126 | + | |
| 127 | + | |
| 128 | + | |
| 129 | + | |
| 130 | + | |
| 131 | + | |
| 132 | + | |
| 133 | + | |
| 134 | + | |
| 135 | + | |
| 136 | + | |
| 137 | + | |
| 138 | + | |
| 139 | + | |
| 140 | + | |
117 | 141 | | |
118 | 142 | | |
119 | 143 | | |
| |||
0 commit comments