diff --git a/.github/workflows/publish-dev.yml b/.github/workflows/publish-dev.yml index 06c4d04e..f5af378b 100644 --- a/.github/workflows/publish-dev.yml +++ b/.github/workflows/publish-dev.yml @@ -3,8 +3,6 @@ on: push: branches: - 'next' - paths: - - 'source/**' workflow_dispatch: diff --git a/source/conf.py b/source/conf.py index d49a1244..7b96534d 100644 --- a/source/conf.py +++ b/source/conf.py @@ -131,10 +131,6 @@ #parent_dir = dirname(dirname(abspath(__file__))) #sys.path.insert(0, join(parent_dir, 'extensions')) -# The version info for the project you're documenting, acts as replacement for -# |version| and |release|, also used in various other places throughout the -# built documents. -# # The short X.Y version. version = mp_version # The full version, including alpha/beta/rc tags.