Commit 80207d0b authored by Andreas Klöckner's avatar Andreas Klöckner
Browse files

Add sphinx-copybutton to doc build

parent 88d35c24

ci-support.sh

+1 −1
Original line number Diff line number Diff line
@@ -362,7 +362,7 @@ run_examples() 
build_docs()

{

  # >=3.2.1 for https://github.com/sphinx-doc/sphinx/issues/8084

  with_echo $PY_EXE -m pip install "sphinx>=3.2.1" furo

  with_echo $PY_EXE -m pip install "sphinx>=3.2.1" furo sphinx-copybutton



  cd doc