Commit ba149d5
committed
Commit the generated manpage.mld
Allows to build the documentation on <4.10, as the generating program
can't run on these versions.
Useful feedback when modifying the CLI.
Reduce the complexity of the Dune rules for building the doc. Might
allow the reference driver to build it, for example.1 parent 6fd4447 commit ba149d5
2 files changed
+1074
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
2 | 2 | | |
3 | 3 | | |
4 | | - | |
| 4 | + | |
5 | 5 | | |
6 | 6 | | |
7 | 7 | | |
8 | 8 | | |
| 9 | + | |
| 10 | + | |
| 11 | + | |
| 12 | + | |
| 13 | + | |
| 14 | + | |
| 15 | + | |
9 | 16 | | |
10 | 17 | | |
11 | 18 | | |
| |||
0 commit comments