diff options
| author | jwijenbergh <jeroenwijenbergh@protonmail.com> | 2023-03-15 11:11:51 +0100 |
|---|---|---|
| committer | jwijenbergh <jeroenwijenbergh@protonmail.com> | 2023-03-15 11:16:18 +0100 |
| commit | 61871cb9ea7605e5350e9612edf8c9d603da2883 (patch) | |
| tree | e355bcdbecffd9023d0e3f0083a6b5061cfc9108 /docs/src/SUMMARY.md | |
| parent | d03eb2e0032c99170dafd8558c104a0c50ab103f (diff) | |
Docs: Add release building info
Diffstat (limited to 'docs/src/SUMMARY.md')
| -rw-r--r-- | docs/src/SUMMARY.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/src/SUMMARY.md b/docs/src/SUMMARY.md index 6ec2259..09ba35d 100644 --- a/docs/src/SUMMARY.md +++ b/docs/src/SUMMARY.md @@ -7,6 +7,7 @@ - [Python wrapper](./gettingstarted/building/python.md) - [Example from scratch](./gettingstarted/building/example.md) - [Package Formats](./gettingstarted/building/packageformats.md) + - [Building for release](./gettingstarted/building/release.md) - [Testing](./gettingstarted/testing.md) - [Debugging](./gettingstarted/debugging/README.md) - [Logging](./gettingstarted/debugging/logging.md) |