Commit e7f8225
docs: generate server options as list-table for stable diffs (#4426)
* docs: generate server options as list-table for stable diffs
The simple-table format pads every cell to the widest value in its
column, so a single new option with a long description rewrites the
entire table (as happened in #4420, where 2 new options produced a
142-line diff). A list-table has no cross-row alignment: adding an
option is always a 3-line diff. The rendered HTML is identical,
verified by diffing Sphinx output of both formats.
Also removes a stray debug println from the generator.
Assisted-by: AI
* build: add docs-docker Makefile target for containerized Sphinx builds
The docs/Dockerfile existed but nothing referenced it. The new target
builds the documentation without requiring Python/Sphinx on the host.
Assisted-by: AI
---------
Co-authored-by: Rein Krul <info@reinkrul.nl>1 parent f8c82d1 commit e7f8225
6 files changed
Lines changed: 409 additions & 169 deletions
File tree
- docs
- pages/deployment
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
178 | 178 | | |
179 | 179 | | |
180 | 180 | | |
181 | | - | |
182 | 181 | | |
183 | 182 | | |
184 | 183 | | |
| |||
248 | 247 | | |
249 | 248 | | |
250 | 249 | | |
251 | | - | |
| 250 | + | |
252 | 251 | | |
253 | | - | |
| 252 | + | |
| 253 | + | |
254 | 254 | | |
255 | 255 | | |
256 | 256 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
20 | 20 | | |
21 | 21 | | |
22 | 22 | | |
| 23 | + | |
23 | 24 | | |
24 | 25 | | |
25 | 26 | | |
| 27 | + | |
| 28 | + | |
| 29 | + | |
| 30 | + | |
| 31 | + | |
| 32 | + | |
| 33 | + | |
| 34 | + | |
| 35 | + | |
| 36 | + | |
| 37 | + | |
| 38 | + | |
| 39 | + | |
| 40 | + | |
| 41 | + | |
| 42 | + | |
| 43 | + | |
| 44 | + | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
| 50 | + | |
| 51 | + | |
| 52 | + | |
26 | 53 | | |
27 | 54 | | |
28 | 55 | | |
| |||
0 commit comments