search

FStarLang / fstar-mode.el

Emacs support for F*
Apache License 2.0
67 stars 17 forks source link

Fix deprecated functions in sphinx extension #138

Closed PSS1998 closed 5 months ago

PSS1998 commented 5 months ago

The two functions add_javascript and add_stylesheet, which were used in Sphinx's extension, have been deprecated from Sphinx version 1.8. I replaced them with their new names.

nikswamy commented 5 months ago

thanks!

note to self: https://www.sphinx-doc.org/en/master/extdev/appapi.html#sphinx.application.Sphinx.add_js_file