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

Generate erlyaws.github.io #488

Merged
merged 1 commit into from
Apr 3, 2024
Merged

Conversation

avtobiff
Copy link
Collaborator

This does a static mirror of the Yaws web page for publication as github pages on erlyaws.github.io.

Fixes #486

@avtobiff
Copy link
Collaborator Author

Requirements for this to work is to create the erlyaws.github.io repository.

Copy link
Collaborator

@vinoski vinoski left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

One issue with such a website is that examples often use .yaws files that show how things work, and the assumption is that Yaws is underneath so that the .yaws files can be executed. This won't work for github.io pages, though, so I wonder if we should first adjust the design of pages using .yaws files, or should we just deploy it and fix that later?

@avtobiff
Copy link
Collaborator Author

avtobiff commented Mar 22, 2024 via email

This adds a script that creates a static mirror of the Yaws web page for
publication as github pages on erlyaws.github.io. The script has work in
progress for an automatic update of the static Yaws web page.

Add erlyaws.github.io README.md section

Fixes erlyaws#486
@avtobiff avtobiff requested review from vinoski and removed request for vinoski April 2, 2024 23:50
Copy link
Collaborator

@vinoski vinoski left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@vinoski vinoski merged commit ea2e7fa into erlyaws:master Apr 3, 2024
19 checks passed
@avtobiff avtobiff deleted the gen-gh-pages-site branch April 4, 2024 09:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Create GitHub pages site for e.g. docs
2 participants