repo.or.cz
/
cabal.git
/
blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
blame
|
history
|
raw
|
HEAD
Add a check of the current behaviour importing duplicates
[cabal.git]
/
.readthedocs.yml
blob
31bb9507b4fbb5d0f3a95268ef30737741157f2e
1
version: 2
2
3
sphinx:
4
configuration: doc/conf.py
5
6
build:
7
os: "ubuntu-22.04"
8
tools:
9
python: "3.8"
10
jobs:
11
post_create_environment:
12
- pip install pip-tools
13
- make users-guide-requirements
14
15
python:
16
install:
17
- requirements: doc/requirements.txt