generate doc/requirements.txt

As suggested in haskell#10030 (review)
geekosaur · May 18, 2024 · 2aca7c4 · 2aca7c4
1 parent 3b4b3e1
commit 2aca7c4
Show file tree

Hide file tree

Showing 4 changed files with 13 additions and 81 deletions.
diff --git a/.github/workflows/users-guide.yml b/.github/workflows/users-guide.yml
@@ -15,7 +15,6 @@ on:
     - 'doc/Makefile'
     - 'doc/pyproject.toml'
     - 'doc/requirements.in'
-    - 'doc/requirements.txt'
     - 'doc/*.inc'
     - 'doc/*.py'
     - 'doc/*.rst'
@@ -26,7 +25,6 @@ on:
     - 'doc/Makefile'
     - 'doc/pyproject.toml'
     - 'doc/requirements.in'
-    - 'doc/requirements.txt'
     - 'doc/*.inc'
     - 'doc/*.py'
     - 'doc/*.rst'
@@ -58,6 +56,14 @@ jobs:
       with:
         python-version: ${{ matrix.python-version }}
 
+    - name: Install pip-compile
+      run: |
+        pip install pip-tools
+
+    - name: Create requirements.txt from requirements.in
+      run: |
+        cd doc && pip-compile requirements.in
+
     # Subsumed by make users-guide
     # - name: Install dependencies
     #   run: |

diff --git a/.gitignore b/.gitignore
@@ -87,6 +87,7 @@ cabal-testsuite/**/haddocks
 venv
 .venv
 /doc/.skjold_cache/
+/doc/requirements.txt
 
 # macOS folder metadata
 .DS_Store

diff --git a/.readthedocs.yml b/.readthedocs.yml
@@ -7,6 +7,10 @@ build:
   os: "ubuntu-22.04"
   tools:
     python: "3.8"
+  jobs:
+    post_create_environment:
+      - pip install pip-tools
+      - cd doc && pip-compile requirements.in
 
 python:
   install:

diff --git a/doc/requirements.txt b/doc/requirements.txt