The problem with compiling the HTML on my machine is that it generates slightly different HTML (like each \<li> tag here encloses another \<p> tag, while the HTML generated on your machine doesn't) and .doctree files (it actually stores a link to the local position of the source file, so it changes across machines anyway). I'm hesitant to commit the HTML myself for the sake of keeping the commit history sane. If possible, could you do it? @rsokl
The problem with compiling the HTML on my machine is that it generates slightly different HTML (like each \<li> tag here encloses another \<p> tag, while the HTML generated on your machine doesn't) and .doctree files (it actually stores a link to the local position of the source file, so it changes across machines anyway). I'm hesitant to commit the HTML myself for the sake of keeping the commit history sane. If possible, could you do it? @rsokl