docs: publish the glossed paper pages via GitHub Pages - #19

docs: publish the glossed paper pages via GitHub Pages#19

ksdisch wants to merge 2 commits into

mainksdisch/mute-map:mainfrom

docs/publish-glossed-pagesksdisch/mute-map:docs/publish-glossed-pagesCopy head branch name to clipboard