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.

Sign up for GitHub

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

Jump to bottom

Building the docs locally adds lots of noise for version control #329

Open
GeigerJ2 opened this issue Sep 20, 2024 · 2 comments
Open

Building the docs locally adds lots of noise for version control #329

GeigerJ2 opened this issue Sep 20, 2024 · 2 comments

Comments

@GeigerJ2
Copy link
Contributor

See below. I assume all html directories could be added to the .gitignore. The additional autogen files, as well, as they should be auto-generated when pushing anyway?

image
@superstar54
Copy link
Member

There are two cases:

  • the HTML files generated by autogen should be added to .gitignore.
  • the HTML files generated by normal notebooks, we need to push it manually.

@GeigerJ2
Copy link
Contributor Author

I'll make a PR!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@superstar54 @GeigerJ2