diff options
| author | Chris Akritidis <43294513+cakrit@users.noreply.github.com> | 2019-05-16 14:32:41 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-05-16 14:32:41 +0200 |
| commit | cb0ed6fb9af796c4b821015feccf401eb38536d8 (patch) | |
| tree | dace8798c7d938244770103a75a1613206f8839b /docs/generator | |
| parent | 84bac1f58e84a4f65c3fe53c323f24f0e94888dd (diff) | |
Add database engine doc to the menu (#6029)
Diffstat (limited to 'docs/generator')
| -rwxr-xr-x | docs/generator/buildyaml.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/generator/buildyaml.sh b/docs/generator/buildyaml.sh index a8a8f4f9ed..d92e1aaa46 100755 --- a/docs/generator/buildyaml.sh +++ b/docs/generator/buildyaml.sh @@ -156,6 +156,7 @@ echo -ne " - Running behind another web server: " #navpart 2 system navpart 2 database +navpart 2 database/engine navpart 2 registry echo -ne " - 'docs/Performance.md' |