diff --git a/docs/src/main/resources/microsite/data/menu.yml b/docs/src/main/resources/microsite/data/menu.yml index 82857bb783..f47cff5a1c 100644 --- a/docs/src/main/resources/microsite/data/menu.yml +++ b/docs/src/main/resources/microsite/data/menu.yml @@ -134,6 +134,10 @@ options: - title: Const url: datatypes/const.html menu_type: data + + - title: ContT + url: datatypes/contt.html + menu_type: data - title: Either url: datatypes/either.html