You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Even though it's on a different subdomain, we should add a link in the navigation to the conference website. Since the code is not hosted in this repo, we'll need to either:
update the hugo.toml to make use of this feature in the theme
Option 2 is definitely less work and less ongoing maintenance, so that's my suggestion for now.
I'll leave this issue open for about a week before working on it myself, in case anyone would like to make their first contribution to the TLA+ community! Please let me know if you have any questions about the suggested approach, or would like guidance on making your contribution.
The text was updated successfully, but these errors were encountered:
Even though it's on a different subdomain, we should add a link in the navigation to the conference website. Since the code is not hosted in this repo, we'll need to either:
section-tree-nav
, orhugo.toml
to make use of this feature in the themeOption 2 is definitely less work and less ongoing maintenance, so that's my suggestion for now.
I'll leave this issue open for about a week before working on it myself, in case anyone would like to make their first contribution to the TLA+ community! Please let me know if you have any questions about the suggested approach, or would like guidance on making your contribution.
The text was updated successfully, but these errors were encountered: