Skip to content

Publish documentation to Github pages#128

Open
lentinj wants to merge 1 commit intovigna:masterfrom
lentinj:master
Open

Publish documentation to Github pages#128
lentinj wants to merge 1 commit intovigna:masterfrom
lentinj:master

Conversation

@lentinj
Copy link

@lentinj lentinj commented Feb 5, 2026

Since ne.di.unimi.it/ went away, not having a website with the rendered documentation has been a bit sad. Would you be interested in something like the following to publish to Github Pages?

Here's an example of a run: https://github.com/lentinj/ne/actions/runs/21731282001/job/62686229374
The documentation ends up here: https://lentinj.github.io/ne/docs/ & https://lentinj.github.io/ne/ne.pdf (or https://vigna.github.io/ne/docs once it's merged)

For this to work you'd need to enable deploying from the "gh-pages" branch here https://github.com/vigna/ne/settings/pages

I've left a gap in the site structure for the old index page, if you wanted to add that back.

Add a workflow to generate and publish the ne documentation.
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.

1 participant