Thanks: Removing the `.doctrees` directory works. I thought `.doctrees` might be used for navigating or searching or both.
On Thursday, November 12, 2020 at 10:51:54 AM UTC-7 i.tk...@gmail.com wrote: > Hi, > > The files under `.doctrees` directory are generated on building as > intermediate file. So they don't need to be committed to your repo. So > please remove them before committing (or give `-d` option to create it > outside of your repo). > > Thanks, > Takeshi KOMIYA > > 2020年10月20日(火) 23:58 bradley...@gmail.com <bradley...@gmail.com>: > > > > I am using sphinx to build my github pages. > > When a file <name>.rst changes, I get changes in the following files: > > > > .doctrees/environment.pickle > > .doctrees/<name>.doctree > > _sources/<name>.rst.txt > > objects.inv > > <name>.html > > > > I like to update my documentation corresponding to the master branch > (the bleeding edge) often. This includes changes to the release notes that > say what is different each time. I am worried that worried that this will > cause the size of my github repository to grow significantly. Has this been > a problem ? Is sphinx designed with this use case in mind ? > > > > -- > > You received this message because you are subscribed to the Google > Groups "sphinx-users" group. > > To unsubscribe from this group and stop receiving emails from it, send > an email to sphinx-users...@googlegroups.com. > > To view this discussion on the web visit > https://groups.google.com/d/msgid/sphinx-users/03c1a340-f3f3-4ce0-a372-9b5100cea7e5n%40googlegroups.com > . > -- You received this message because you are subscribed to the Google Groups "sphinx-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to sphinx-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sphinx-users/17285f26-d2bc-4953-86da-ae24ca12ff84n%40googlegroups.com.