docs: handle /dev and /admin routes

This commit is contained in:
Anton Georgiev 2023-04-13 09:36:45 -04:00 committed by GitHub
parent fd3fc99412
commit cf29dfd8f3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -88,6 +88,14 @@ const config = {
// /2.6/redirect -> /redirect
return [ path.replace("/2.6","") ];
}
if ( path.startsWith("/admin/") ) {
// handle the old docs group /admin
return [ path.replace("/admin/","/administration/") ];
}
if ( path.startsWith("/dev/") ) {
// handle the old docs group /dev
return [ path.replace("/dev/","/development/") ];
}
},
}
],