Skip to content

Add local server instructions for offline access#220

Open
SuperCowProducts wants to merge 1 commit into
leanprover:masterfrom
SuperCowProducts:master
Open

Add local server instructions for offline access#220
SuperCowProducts wants to merge 1 commit into
leanprover:masterfrom
SuperCowProducts:master

Conversation

@SuperCowProducts

Copy link
Copy Markdown

Added instructions to run a local offline copy of the website.

Added instructions to run a local offline copy of the website.
@codeguru42

codeguru42 commented May 31, 2026

Copy link
Copy Markdown

For static HTML pages, this shouldn't be necessary. But after I build the book and open index.html directly in my browser, chapter and section links don't work the same as the online version of the book.

The behavior I see is caused by the format of the URLs in the table of contents links. They look like file://home/username/tpil/book/_out/html-multi/Inductive-Types/#defining-the-natural-numbers. If they instead include index.html in the URL, then they will work without running a server: ``file://home/username/tpil/book/_out/html-multi/Inductive-Types/index.html#defining-the-natural-numbers`.

I'm uncertain if this can be fixed directly in the book repo here or if an upstream change in Verso is needed.

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.

2 participants