by Luc Saffre · in Developers · assigned to Luc Saffre

Summary

Children

Comments

• 5 years, 6 months ago by Luc Saffre about #4128 (Sharing include files over multiple Sphinx doctrees) : I wrote a script update_shared_docs.sh for noi, which does what I did manually until now. This should actually run before every "inv bd". But how to configure which files we want to share? Currently it is using "cp -a", but actually it should sync. To be meditated. Not urgent.
• 5 years, 6 months ago by Luc Saffre about #4128 (Sharing include files over multiple Sphinx doctrees) : I tried to implement this using the html_static_path, but this won't work because Sphinx merges the static files from all subdirectories into a single directory. So the only way is see atm is to add a feature to atelier that extends the "inv bd" command so that it would automatically update the file...
• 5 years, 6 months ago by Luc Saffre about #4128 (Sharing include files over multiple Sphinx doctrees) : We don't need #4127 for working on this. Already now we have the shared/include/defs.rst file, which I currently share manually by copying it when it turns out that some other doctree needs it.
• 5 years, 6 months ago by Luc Saffre about #4128 (Sharing include files over multiple Sphinx doctrees) : Before going on with #4127 we should have a system for sharing static files over different sphinx trees.