Re: [PATCH 1 of 2] Enhanced website navigation with 2-level menu and directive search

2022-08-31 Thread Maxim Dounin
Hello! On Tue, Aug 30, 2022 at 12:52:33PM +, Liam Crilly via nginx-devel wrote: > # HG changeset patch > # User Liam Crilly > # Date 1659696328 -3600 > # Fri Aug 05 11:45:28 2022 +0100 > # Node ID 1087570ec093271d10de8e901122c99003a79b6d > # Parent 60851da88db689f3bfaa54453977ec9803b00

Re: [PATCH 1 of 2] Enhanced website navigation with 2-level menu and directive search

2022-08-30 Thread Liam Crilly via nginx-devel
# HG changeset patch # User Liam Crilly # Date 1659696328 -3600 # Fri Aug 05 11:45:28 2022 +0100 # Node ID 1087570ec093271d10de8e901122c99003a79b6d # Parent 60851da88db689f3bfaa54453977ec9803b00509 Added search box to navigate directly to directive or variable docs. This patch adds a search