Thanks This solves the internal links issue (in a nice way!) but not links from external domains.
As a Sphinx (and Python) n00b, what the best approach for something like: - reading a dictionary from a file, mapping old path to new path - generate a redirection file, one for each redirection One way will be to generate rst files and clean them later, another is generating HTML files The second seems better since it does not leave traces in the source directory. Regards Tzach On Friday, June 29, 2018 at 5:40:49 AM UTC+3, Aaron Carlisle wrote: > > Not your answer but we have a remaping script to fix internal links > > > https://developer.blender.org/diffusion/BM/browse/trunk/blender_docs/tools_rst/rst_remap.py > > On Wed, Jun 27, 2018 at 8:24 AM Tzach Livyatan <[email protected] > <javascript:>> wrote: > >> Hello >> I'm doing a re-org of my doc tree, and as part of the process moving many >> directories and file around. >> As part of the process, I want to create a redirect from the old path to >> the new one, so external links to the doc will not get lost. >> I can create an HTML redirect per file, but it seems wasteful. Is there a >> better way? >> A good solution might be a "redirect table" as part of the conf.py >> >> Thanks >> Tzach >> >> -- >> 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] <javascript:>. >> To post to this group, send email to [email protected] >> <javascript:>. >> Visit this group at https://groups.google.com/group/sphinx-users. >> For more options, visit https://groups.google.com/d/optout. >> > > > -- > Aaron Carlisle > > -- 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.
