I am building Theorem Proving in Lean for offline use. As the instructions there say, I navigate to book/_out/html-multi and open index.html in my browser. The problem is that I get a directory listing instead of the contents of index.html as I expect:
From what I can tell, the fix is to either remove the anchor from the link URL and only go to the directory or to include an explicit index.html in the URL. At least this will fix the chapter links. For sections inside a chapter, I think the fix is to include the file name (i.e. index.html) in the link URL.
I am building Theorem Proving in Lean for offline use. As the instructions there say, I navigate to
book/_out/html-multiand openindex.htmlin my browser. The problem is that I get a directory listing instead of the contents ofindex.htmlas I expect:From what I can tell, the fix is to either remove the anchor from the link URL and only go to the directory or to include an explicit
index.htmlin the URL. At least this will fix the chapter links. For sections inside a chapter, I think the fix is to include the file name (i.e.index.html) in the link URL.