diff --git a/doc/scripts/header.js b/doc/scripts/header.js index 3d2351f..56fe0c1 100644 --- a/doc/scripts/header.js +++ b/doc/scripts/header.js @@ -10,7 +10,7 @@ const domReady = function (callback) { domReady(() => { const projectname = document.createElement('a'); projectname.classList.add('project-name'); - projectname.text = 'functional-abstraction/type'; + projectname.text = '@functional-abstraction/type'; projectname.href = './index.html'; const header = document.querySelector('header');