daml/docs/scripts/Pipfile
Nemanja 77c0b879e6
Copy code button (#6508)
* Copy code button

Added the sphinx copy code extension (https://sphinx-copybutton.readthedocs.io/en/latest/) to the docs. Tested with  and it worked.

CHANGELOG_START
CHANGELOG_END

* Remove vendored copy of sphinx_copybutton

changelog_begin
changelog_end

* remove debugging output

changelog_begin
changelog_end

Co-authored-by: Moritz Kiefer <moritz.kiefer@purelyfunctional.org>
2020-06-29 12:34:40 +02:00

17 lines
259 B
TOML

[[source]]
name = "pypi"
url = "https://pypi.python.org/simple"
verify_ssl = true
[dev-packages]
[packages]
sphinx-autobuild = "*"
sphinx-copybutton = "==0.2.12"
sphinx = "==1.8.3"
jinja2 = ">=2.10.1"
urllib3 = ">=1.24.2"
[requires]
python_version = "3.7"