Skip to content

Commit

Permalink
Merge pull request #616 from conjure-cp/docbits
Browse files Browse the repository at this point in the history
Using a glob pattern to include all files in docs/bits
  • Loading branch information
ozgurakgun committed Nov 15, 2023
2 parents 89e2395 + fe5c11a commit 17e289f
Show file tree
Hide file tree
Showing 3 changed files with 4 additions and 44 deletions.
43 changes: 2 additions & 41 deletions docs/bits.rst
Original file line number Diff line number Diff line change
Expand Up @@ -11,45 +11,6 @@ The extension is open source as well, and it is hosted at https://github.com/con
We include them here for reference and convenience, but this part of the documentation is intended to be useful primarily through the VS Code extension.

.. toctree::
:glob:

bits/attribute/L_size.md
bits/attribute/L_bijective.md
bits/attribute/L_surjective.md
bits/attribute/L_total.md
bits/attribute/L_regular.md
bits/attribute/L_minSize.md
bits/attribute/L_injective.md
bits/attribute/L_maxSize.md
bits/function/participants.md
bits/function/parts.md
bits/function/min.md
bits/function/toInt.md
bits/function/party.md
bits/function/and.md
bits/function/together.md
bits/function/max.md
bits/function/apart.md
bits/function/allDiff.md
bits/type/L_bool.md
bits/type/function.md
bits/type/matrix.md
bits/keyword/find.md
bits/keyword/expr_projection.md
bits/keyword/long_arrow.md
bits/keyword/letting_domain.md
bits/keyword/new_type_enum.md
bits/operator/L_Div.md
bits/operator/L_Minus.md
bits/operator/L_Pow.md
bits/operator/L_subset.md
bits/operator/post_factorial.md
bits/operator/L_Times.md
bits/operator/L_subsetEq.md
bits/operator/L_abs.md
bits/operator/L_Plus.md
bits/operator/L_in.md
bits/operator/L_supset.md
bits/operator/L_union.md
bits/operator/L_supsetEq.md
bits/operator/L_Mod.md
bits/operator/L_intersect.md
bits/**
3 changes: 1 addition & 2 deletions docs/conf.py
Original file line number Diff line number Diff line change
Expand Up @@ -31,11 +31,10 @@
# extensions coming with Sphinx (named 'sphinx.ext.*') or your custom
# ones.
extensions = [
'sphinx.ext.todo',
'sphinxcontrib.bibtex',
'sphinxcontrib.jquery',
'nbsphinx',
'sphinx_mdinclude'
'myst_parser'
]
bibtex_bibfiles = ['refs.bib']

Expand Down
2 changes: 1 addition & 1 deletion docs/requirements.txt
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
nbsphinx==0.9.3
sphinx-mdinclude==0.5.3
sphinx==7.2.6
sphinx_rtd_theme==1.3.0
sphinxcontrib-bibtex==2.5.0
sphinxcontrib-inlinesyntaxhighlight==0.2
sphinxcontrib-jquery==4.1
myst_parser==2.0.0

0 comments on commit 17e289f

Please sign in to comment.