-
Notifications
You must be signed in to change notification settings - Fork 45
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
Fixes for website migration #392
Conversation
didn't this code move already ? |
Well, these commits actually remove the moved files from the specification repository. "Fixes…" was probably not the best name :) |
Without a title attribute in each file's front-matter Jekyll will use the global title configured in the site as the page title. However, this means that building the combined .md requires removing the whole front-matter (all lines between and including the "---" ones), not just the "---" ones.
I'll push more changes onto this branch from time to time as I progress through the migration; probably rebase when necessary, too. No need to merge soon. |
Also updates a couple of links to other external sites. This also removes dead links (which had been dead before the CMS migration, too).
kramdown (used by Jekyll) only recognizes a table when there's a blank line following, even if the table is at the very end of the file. This is likely a bug, but let's just work around it.
The required changes are mostly complete now. I'll merge in a week or so if no one objects. |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
overall, LGTM
90b268c
to
e8f9e8e
Compare
e8f9e8e
to
a1c5d4d
Compare
Soooo… all of the objections have been addressed as far as I can tell. Merging! |
Various modifications that target splitting off pure website related stuff into its own repository.