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

Sphinx autobuild no longer auto builds #106

Open
doyougnu opened this issue Feb 12, 2024 · 1 comment
Open

Sphinx autobuild no longer auto builds #106

doyougnu opened this issue Feb 12, 2024 · 1 comment
Labels

Comments

@doyougnu
Copy link
Collaborator

it expects a mutable file system but we've nixified enough that this broke after I bumped the python packages. Will have to use nix to write a script and then set it as a flake target.

@doyougnu doyougnu changed the title Sphinx autobuild no longer builds Sphinx autobuild no longer auto builds Feb 12, 2024
@doyougnu
Copy link
Collaborator Author

doyougnu commented Apr 1, 2024

this works:

I  ~/w/h/hs-opt-handbook.github.io doyougnu/rethinking-tntc• ❱ sphinx-autobuild . _result/html

but you must have the result symlink first from nix, which means you've run nix build.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
Status: To do
Development

No branches or pull requests

1 participant