diff clipkit_repo/docs/Pipfile @ 2:e9cf321ee7be draft

"planemo upload for repository https://github.com/jlsteenwyk/clipkit commit cbe1e8577ecb1a46709034a40dff36052e876e7a-dirty"
author padge
date Fri, 25 Mar 2022 17:33:41 +0000
parents 49b058e85902
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/clipkit_repo/docs/Pipfile	Fri Mar 25 17:33:41 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"