theme: add separate search entry for rdm

This commit is contained in:
Christoph Ladurner
2023-11-10 09:19:01 +01:00
parent 0cee624dbb
commit 105db720ea
@@ -12,6 +12,11 @@
"text": _("All") + " " + config.THEME_SITENAME,
"value": url_for("invenio_search_ui.search"),
"title": "repo",
},{
"key": "rdm",
"text": _("Research Data"),
"value": "/records/search",
"title": "Research Data",
},{
"key": "marc21",
"text": _("Publications"),