Open rvosa opened 7 years ago
We want an index that links terms to the pages they occur on. From among those terms we pick the ones we want to give a definition, and this becomes the glossary.
See docs/GLOSSARY.md and https://toolchain.gitbook.com/lexicon.html
We want an index that links terms to the pages they occur on. From among those terms we pick the ones we want to give a definition, and this becomes the glossary.