diff clipkit_repo/docs/Pipfile @ 0:49b058e85902 draft

"planemo upload for repository https://github.com/jlsteenwyk/clipkit commit cbe1e8577ecb1a46709034a40dff36052e876e7a-dirty"
author padge
date Fri, 25 Mar 2022 13:04:31 +0000
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/clipkit_repo/docs/Pipfile	Fri Mar 25 13:04:31 2022 +0000
@@ -0,0 +1,18 @@
+[[source]]
+name = "pypi"
+url = "https://pypi.org/simple"
+verify_ssl = true
+
+[scripts]
+serve = "sphinx-autobuild . _build/html"
+
+[dev-packages]
+sphinx-autobuild = "*"
+
+[packages]
+Pygments = "*"
+Sphinx = "*"
+sphinx_rtd_theme = "*"
+
+[requires]
+python_version = "3.7"