Hi, As you said, Sphinx does not remove intermediate cache (doctree), HTML and other files even if source file removed. Indeed, Sphinx can remove them. I think current behavior is not best. So I'll try to change it in future. But, I suspect it is hard to remove the resource files related with the removed file (ex. images). So please use "make clean" for the deployment as workaround for a while.
Thanks, Takeshi KOMIYA 2019年1月9日(水) 2:32 Constantin-Cristinel Catana <[email protected]>: > > Hello guys, does any of you got o problem with Sphinx 1.8.3, meaning that > when you delete an .RST file, the associated doctree and HTML are not > deleted, from what I see in the code, clear_doc is implemented for removed, > but it doesn't seems to work. This happens when i use make html without > deleting build directory. I don't want to delete it because I have around 12k > files that need to be generated. > > Thanks! > Regards, > Constantin > > -- > 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 [email protected]. > To post to this group, send email to [email protected]. > Visit this group at https://groups.google.com/group/sphinx-users. > For more options, visit https://groups.google.com/d/optout. -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sphinx-users. For more options, visit https://groups.google.com/d/optout.
