Skip to content

Conversation

@alexander-ding
Copy link
Collaborator

@alexander-ding alexander-ding commented Sep 14, 2019

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

@alexander-ding alexander-ding marked this pull request as ready for review September 22, 2019 20:21
@rsokl rsokl merged commit 8c6ecba into master Oct 5, 2019
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.

3 participants