diff --git a/docs/index.html b/docs/index.html index 81853e7cc832cc3d7cc3d855ab6f97848400b0e0..ceff19a326c507900bc973b16a8f9d6476b78ab0 100644 --- a/docs/index.html +++ b/docs/index.html @@ -196,6 +196,7 @@ content.removeChild( navigation ); } + // Create the navigation panel using data from list.js