search

GillianPlatform / Gillian

The Gillian Platform main repository
https://GillianPlatform.github.io
BSD 3-Clause "New" or "Revised" License
73 stars 11 forks source link

Website does not work #307

Closed glor closed 1 month ago

glor commented 1 month ago

When I visit https://gillianplatform.github.io/sphinx/index.html (which https://gillianplatform.github.io/ redirects to), I get an error that the file could not be found.

NatKarmios commented 1 month ago

Whoops, sorry about that. I'll look into it now.

NatKarmios commented 1 month ago

Ah, make wasn't building sphinx because the sphix directory already exists. Just fixed it.