Update sphinx-extensions subrepo in opendylan

[Fernando Raya]

In 'sphinx-extensions' there was a pull request merged (#15, c9a3514)
that changed the default url for DRM but in opendylan, looks like the
version of sphinx-extensions is @ af6d9e7 . How can I update dylan's git
to this version of sphinx-extensions?

Cheers

[Carl Gay]

There's a section in the docs on how to do that. Let me know if you have any problems...

-Carl

ps. For things outside the opendylan repository, in my opinion, we can start deleting the submodules and use the package manager instead!

[peter...@gmail.com]

On Tuesday, 4 December 2018 01:51:13 UTC, Carl Gay wrote:

There's a section in the docs on how to do that. Let me know if you have any problems...

 I think this needs someone to update, as described in that link, then commit/push .gitmodules to master so it's the 'default' from now on. I find git submodules a bit baffling to be honest.

Pete

[fraya]

Thank you, It's my fault, I overlook it.