Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Script to insert keyword links #410

Open
wants to merge 8 commits into
base: main
Choose a base branch
from

Commits on Nov 4, 2024

  1. Configuration menu
    Copy the full SHA
    d60a80e View commit details
    Browse the repository at this point in the history
  2. Create script to extract keyword URIs

    Python script to extract a mapping from keyword names to XML URI tag
    names. The mapping can be saved to a file and later used to make
    keywords clickable. That is, to be able to click on a keyword referenced
    in a paragraph of text, and then jump to the page where that keyword
    is defined.
    hakonhagland committed Nov 4, 2024
    Configuration menu
    Copy the full SHA
    34c1805 View commit details
    Browse the repository at this point in the history

Commits on Nov 5, 2024

  1. Address review comments

    hakonhagland committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    9f3179b View commit details
    Browse the repository at this point in the history
  2. Mapping file: kw -> uri

    A mapping file for keyword name to URI
    hakonhagland committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    e35d30b View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    3039320 View commit details
    Browse the repository at this point in the history
  4. Configuration menu
    Copy the full SHA
    707d9bd View commit details
    Browse the repository at this point in the history
  5. Configuration menu
    Copy the full SHA
    e017362 View commit details
    Browse the repository at this point in the history
  6. Also link to the keyword itself

    To provide a consistent markup experience for the keywords, we should
    also link the keyword to itself
    hakonhagland committed Nov 5, 2024
    Configuration menu
    Copy the full SHA
    fe7873d View commit details
    Browse the repository at this point in the history