Move readthedocs file

thealmarty · Nov 3, 2021 · 2344064 · 2344064
1 parent 175613a
commit 2344064
Show file tree

Hide file tree

Showing 90 changed files with 2 additions and 2 deletions.
diff --git a/doc/.readthedocs.yaml → .readthedocs.yaml b/doc/.readthedocs.yaml → .readthedocs.yaml
@@ -12,7 +12,7 @@ build:
 
 # Build documentation in the docs/ directory with Sphinx
 sphinx:
-   configuration: source/conf.py
+   configuration: docs/source/conf.py
 
 # Optionally build your docs in additional formats such as PDF
 formats:
@@ -21,4 +21,4 @@ formats:
 # Optionally declare the Python requirements required to build your docs
 python:
    install:
-   - requirements: requirements.txt
+   - requirements: docs/requirements.txt
diff --git a/doc/.gitignore → docs/.gitignore b/doc/.gitignore → docs/.gitignore
diff --git a/doc/CONTRIBUTING.md → docs/CONTRIBUTING.md b/doc/CONTRIBUTING.md → docs/CONTRIBUTING.md
diff --git a/doc/CREDITS.md → docs/CREDITS.md b/doc/CREDITS.md → docs/CREDITS.md
diff --git a/doc/Code/App.org → docs/Code/App.org b/doc/Code/App.org → docs/Code/App.org
diff --git a/doc/Code/Bench.org → docs/Code/Bench.org b/doc/Code/Bench.org → docs/Code/Bench.org
diff --git a/doc/Code/Juvix.org → docs/Code/Juvix.org b/doc/Code/Juvix.org → docs/Code/Juvix.org
diff --git a/doc/Code/Library.org → docs/Code/Library.org b/doc/Code/Library.org → docs/Code/Library.org
diff --git a/doc/Code/Test.org → docs/Code/Test.org b/doc/Code/Test.org → docs/Code/Test.org
diff --git a/doc/Code/bench.html → docs/Code/bench.html b/doc/Code/bench.html → docs/Code/bench.html
diff --git a/doc/MISC.md → docs/MISC.md b/doc/MISC.md → docs/MISC.md
diff --git a/doc/Makefile → docs/Makefile b/doc/Makefile → docs/Makefile
diff --git a/doc/README.md → docs/README.md b/doc/README.md → docs/README.md
diff --git a/doc/STYLEGUIDE.md → docs/STYLEGUIDE.md b/doc/STYLEGUIDE.md → docs/STYLEGUIDE.md
diff --git a/doc/requirements.txt → docs/requirements.txt b/doc/requirements.txt → docs/requirements.txt
diff --git a/...source/backends/berkeley-packet-filter.md → ...source/backends/berkeley-packet-filter.md b/...source/backends/berkeley-packet-filter.md → ...source/backends/berkeley-packet-filter.md
diff --git a/doc/source/backends/circuit.md → docs/source/backends/circuit.md b/doc/source/backends/circuit.md → docs/source/backends/circuit.md
diff --git a/doc/source/backends/cuda.md → docs/source/backends/cuda.md b/doc/source/backends/cuda.md → docs/source/backends/cuda.md
diff --git a/doc/source/backends/evm.md → docs/source/backends/evm.md b/doc/source/backends/evm.md → docs/source/backends/evm.md
diff --git a/doc/source/backends/fpga.md → docs/source/backends/fpga.md b/doc/source/backends/fpga.md → docs/source/backends/fpga.md
diff --git a/doc/source/backends/fusion.md → docs/source/backends/fusion.md b/doc/source/backends/fusion.md → docs/source/backends/fusion.md
diff --git a/doc/source/backends/index.md → docs/source/backends/index.md b/doc/source/backends/index.md → docs/source/backends/index.md
diff --git a/doc/source/backends/llvm.md → docs/source/backends/llvm.md b/doc/source/backends/llvm.md → docs/source/backends/llvm.md
diff --git a/doc/source/backends/michelson.md → docs/source/backends/michelson.md b/doc/source/backends/michelson.md → docs/source/backends/michelson.md
diff --git a/doc/source/backends/wasm.md → docs/source/backends/wasm.md b/doc/source/backends/wasm.md → docs/source/backends/wasm.md
diff --git a/...e/background/calculus-of-constructions.md → ...e/background/calculus-of-constructions.md b/...e/background/calculus-of-constructions.md → ...e/background/calculus-of-constructions.md
diff --git a/...rce/background/elementary-affine-logic.md → ...rce/background/elementary-affine-logic.md b/...rce/background/elementary-affine-logic.md → ...rce/background/elementary-affine-logic.md
diff --git a/doc/source/background/index.md → docs/source/background/index.md b/doc/source/background/index.md → docs/source/background/index.md
diff --git a/doc/source/background/interaction-nets.md → docs/source/background/interaction-nets.md b/doc/source/background/interaction-nets.md → docs/source/background/interaction-nets.md
diff --git a/doc/source/background/lambda-calculus.md → docs/source/background/lambda-calculus.md b/doc/source/background/lambda-calculus.md → docs/source/background/lambda-calculus.md
diff --git a/doc/source/background/linear-logic.md → docs/source/background/linear-logic.md b/doc/source/background/linear-logic.md → docs/source/background/linear-logic.md
diff --git a/doc/source/background/optimal-reduction.md → docs/source/background/optimal-reduction.md b/doc/source/background/optimal-reduction.md → docs/source/background/optimal-reduction.md
diff --git a/doc/source/background/sequent-calculus.md → docs/source/background/sequent-calculus.md b/doc/source/background/sequent-calculus.md → docs/source/background/sequent-calculus.md
diff --git a/...ackground/simply-typed-lambda-calculus.md → ...ackground/simply-typed-lambda-calculus.md b/...ackground/simply-typed-lambda-calculus.md → ...ackground/simply-typed-lambda-calculus.md
diff --git a/doc/source/conf.py → docs/source/conf.py b/doc/source/conf.py → docs/source/conf.py
diff --git a/doc/source/core/core-language.md → docs/source/core/core-language.md b/doc/source/core/core-language.md → docs/source/core/core-language.md
diff --git a/doc/source/core/core-optimisation.md → docs/source/core/core-optimisation.md b/doc/source/core/core-optimisation.md → docs/source/core/core-optimisation.md
diff --git a/doc/source/core/elementary-affine-core.md → docs/source/core/elementary-affine-core.md b/doc/source/core/elementary-affine-core.md → docs/source/core/elementary-affine-core.md
diff --git a/doc/source/core/erased-core-language.md → docs/source/core/erased-core-language.md b/doc/source/core/erased-core-language.md → docs/source/core/erased-core-language.md
diff --git a/doc/source/core/index.md → docs/source/core/index.md b/doc/source/core/index.md → docs/source/core/index.md
diff --git a/doc/source/core/termination-checking.md → docs/source/core/termination-checking.md b/doc/source/core/termination-checking.md → docs/source/core/termination-checking.md
diff --git a/doc/source/cost-accounting.md → docs/source/cost-accounting.md b/doc/source/cost-accounting.md → docs/source/cost-accounting.md
diff --git a/doc/source/definitions.tex → docs/source/definitions.tex b/doc/source/definitions.tex → docs/source/definitions.tex
diff --git a/doc/source/desiderata.md → docs/source/desiderata.md b/doc/source/desiderata.md → docs/source/desiderata.md
diff --git a/doc/source/distributed-ledger-integration.md → .../source/distributed-ledger-integration.md b/doc/source/distributed-ledger-integration.md → .../source/distributed-ledger-integration.md
diff --git a/doc/source/examples/fungible-token.md → docs/source/examples/fungible-token.md b/doc/source/examples/fungible-token.md → docs/source/examples/fungible-token.md
diff --git a/doc/source/examples/index.md → docs/source/examples/index.md b/doc/source/examples/index.md → docs/source/examples/index.md
diff --git a/...les/multi-signature-validity-predicate.md → ...les/multi-signature-validity-predicate.md b/...les/multi-signature-validity-predicate.md → ...les/multi-signature-validity-predicate.md
diff --git a/doc/source/examples/non-fungible-token.md → docs/source/examples/non-fungible-token.md b/doc/source/examples/non-fungible-token.md → docs/source/examples/non-fungible-token.md
diff --git a/.../examples/pluggable-liberal-radicalism.md → .../examples/pluggable-liberal-radicalism.md b/.../examples/pluggable-liberal-radicalism.md → .../examples/pluggable-liberal-radicalism.md
diff --git a/...rce/examples/pooled-liquidity-exchange.md → ...rce/examples/pooled-liquidity-exchange.md b/...rce/examples/pooled-liquidity-exchange.md → ...rce/examples/pooled-liquidity-exchange.md
diff --git a/...ce/examples/shielded-circuit-connector.md → ...ce/examples/shielded-circuit-connector.md b/...ce/examples/shielded-circuit-connector.md → ...ce/examples/shielded-circuit-connector.md
diff --git a/...urce/frontend/elaboration/basic-passes.md → ...urce/frontend/elaboration/basic-passes.md b/...urce/frontend/elaboration/basic-passes.md → ...urce/frontend/elaboration/basic-passes.md
diff --git a/doc/source/frontend/elaboration/index.md → docs/source/frontend/elaboration/index.md b/doc/source/frontend/elaboration/index.md → docs/source/frontend/elaboration/index.md
diff --git a/...e/frontend/elaboration/lambda-encoding.md → ...e/frontend/elaboration/lambda-encoding.md b/...e/frontend/elaboration/lambda-encoding.md → ...e/frontend/elaboration/lambda-encoding.md
diff --git a/doc/source/frontend/elaboration/tactics.md → docs/source/frontend/elaboration/tactics.md b/doc/source/frontend/elaboration/tactics.md → docs/source/frontend/elaboration/tactics.md
diff --git a/...ource/frontend/elaboration/unification.md → ...ource/frontend/elaboration/unification.md b/...ource/frontend/elaboration/unification.md → ...ource/frontend/elaboration/unification.md
diff --git a/doc/source/frontend/example.md → docs/source/frontend/example.md b/doc/source/frontend/example.md → docs/source/frontend/example.md
diff --git a/...ontend/features/automatic-proof-search.md → ...ontend/features/automatic-proof-search.md b/...ontend/features/automatic-proof-search.md → ...ontend/features/automatic-proof-search.md
diff --git a/doc/source/frontend/features/datatypes.md → docs/source/frontend/features/datatypes.md b/doc/source/frontend/features/datatypes.md → docs/source/frontend/features/datatypes.md
diff --git a/...nd/features/dependent-pattern-matching.md → ...nd/features/dependent-pattern-matching.md b/...nd/features/dependent-pattern-matching.md → ...nd/features/dependent-pattern-matching.md
diff --git a/doc/source/frontend/features/do-notation.md → docs/source/frontend/features/do-notation.md b/doc/source/frontend/features/do-notation.md → docs/source/frontend/features/do-notation.md
diff --git a/doc/source/frontend/features/holes.md → docs/source/frontend/features/holes.md b/doc/source/frontend/features/holes.md → docs/source/frontend/features/holes.md
diff --git a/...e/frontend/features/implicit-arguments.md → ...e/frontend/features/implicit-arguments.md b/...e/frontend/features/implicit-arguments.md → ...e/frontend/features/implicit-arguments.md
diff --git a/doc/source/frontend/features/index.md → docs/source/frontend/features/index.md b/doc/source/frontend/features/index.md → docs/source/frontend/features/index.md
diff --git a/doc/source/frontend/features/modules.md → docs/source/frontend/features/modules.md b/doc/source/frontend/features/modules.md → docs/source/frontend/features/modules.md
diff --git a/doc/source/frontend/features/record-types.md → .../source/frontend/features/record-types.md b/doc/source/frontend/features/record-types.md → .../source/frontend/features/record-types.md
diff --git a/...ource/frontend/features/type-inference.md → ...ource/frontend/features/type-inference.md b/...ource/frontend/features/type-inference.md → ...ource/frontend/features/type-inference.md
diff --git a/doc/source/frontend/features/typeclasses.md → docs/source/frontend/features/typeclasses.md b/doc/source/frontend/features/typeclasses.md → docs/source/frontend/features/typeclasses.md
diff --git a/...urce/frontend/features/usage-inference.md → ...urce/frontend/features/usage-inference.md b/...urce/frontend/features/usage-inference.md → ...urce/frontend/features/usage-inference.md
diff --git a/doc/source/frontend/future-plans.md → docs/source/frontend/future-plans.md b/doc/source/frontend/future-plans.md → docs/source/frontend/future-plans.md
diff --git a/doc/source/frontend/index.md → docs/source/frontend/index.md b/doc/source/frontend/index.md → docs/source/frontend/index.md
diff --git a/doc/source/frontend/syntax.md → docs/source/frontend/syntax.md b/doc/source/frontend/syntax.md → docs/source/frontend/syntax.md
diff --git a/doc/source/future-directions.md → docs/source/future-directions.md b/doc/source/future-directions.md → docs/source/future-directions.md
diff --git a/doc/source/header.tex → docs/source/header.tex b/doc/source/header.tex → docs/source/header.tex
diff --git a/doc/source/index.md → docs/source/index.md b/doc/source/index.md → docs/source/index.md
diff --git a/doc/source/ingredients.md → docs/source/ingredients.md b/doc/source/ingredients.md → docs/source/ingredients.md
diff --git a/doc/source/language-reference.bib → docs/source/language-reference.bib b/doc/source/language-reference.bib → docs/source/language-reference.bib
diff --git a/doc/source/low-level-execution-model.md → docs/source/low-level-execution-model.md b/doc/source/low-level-execution-model.md → docs/source/low-level-execution-model.md
diff --git a/doc/source/motivation.md → docs/source/motivation.md b/doc/source/motivation.md → docs/source/motivation.md
diff --git a/...rce/optimisation/graph-transformations.md → ...rce/optimisation/graph-transformations.md b/...rce/optimisation/graph-transformations.md → ...rce/optimisation/graph-transformations.md
diff --git a/doc/source/optimisation/index.md → docs/source/optimisation/index.md b/doc/source/optimisation/index.md → docs/source/optimisation/index.md
diff --git a/...misation/optimisation-by-normalisation.md → ...misation/optimisation-by-normalisation.md b/...misation/optimisation-by-normalisation.md → ...misation/optimisation-by-normalisation.md
diff --git a/...timisation/user-directed-optimisations.md → ...timisation/user-directed-optimisations.md b/...timisation/user-directed-optimisations.md → ...timisation/user-directed-optimisations.md
diff --git a/doc/source/prior-work.md → docs/source/prior-work.md b/doc/source/prior-work.md → docs/source/prior-work.md
diff --git a/doc/source/typographical-conventions.md → docs/source/typographical-conventions.md b/doc/source/typographical-conventions.md → docs/source/typographical-conventions.md
diff --git a/doc/web/example.md → docs/web/example.md b/doc/web/example.md → docs/web/example.md
diff --git a/doc/web/index.md → docs/web/index.md b/doc/web/index.md → docs/web/index.md
diff --git a/doc/web/proof-system.md → docs/web/proof-system.md b/doc/web/proof-system.md → docs/web/proof-system.md
diff --git a/doc/web/syntax-guide.md → docs/web/syntax-guide.md b/doc/web/syntax-guide.md → docs/web/syntax-guide.md