From ec110720dcee2bb9abb4ec15ad43024dea5790b6 Mon Sep 17 00:00:00 2001
From: Wolfgang Walther <walther@technowledgy.de>
Date: Sat, 15 Jun 2024 17:09:23 +0200
Subject: [PATCH] nix: Make postgrest-release bump docs version

Resolves #3583
---
 default.nix                                    | 2 +-
 nix/tools/{release/default.nix => release.nix} | 8 +++++++-
 2 files changed, 8 insertions(+), 2 deletions(-)
 rename nix/tools/{release/default.nix => release.nix} (90%)

diff --git a/default.nix b/default.nix
index a55011e2a..3cf63c83d 100644
--- a/default.nix
+++ b/default.nix
@@ -135,7 +135,7 @@ rec {
 
   # Scripts for publishing new releases.
   release =
-    pkgs.callPackage nix/tools/release { };
+    pkgs.callPackage nix/tools/release.nix { };
 
   # Linting and styling tools.
   style =
diff --git a/nix/tools/release/default.nix b/nix/tools/release.nix
similarity index 90%
rename from nix/tools/release/default.nix
rename to nix/tools/release.nix
index 593337759..ec52f0f66 100644
--- a/nix/tools/release/default.nix
+++ b/nix/tools/release.nix
@@ -29,22 +29,28 @@ let
           case "$1" in
             major)
               new_version="$((major+1)).0.0"
+              new_docs_version="$((major+1)).0"
               ;;
             minor)
               new_version="$major.$((minor+1)).0"
+              new_docs_version="$major.$((minor+1))"
               ;;
             patch)
               new_version="$major.$minor.$((patch+1))"
+              new_docs_version="$major.$minor"
               ;;
             devel)
               new_version="$major.$((minor+1))"
+              new_docs_version="devel"
               ;;
           esac
 
           echo "Updating postgrest.cabal ..."
           sed -i -E "s/^(version:\s+).*$/\1$new_version/" postgrest.cabal > /dev/null
+          echo "Updating docs/conf.py ..."
+          sed -i -E "s/^(version = ).*$/\1\"$new_docs_version\"/" docs/conf.py > /dev/null
 
-          git add postgrest.cabal > /dev/null        
+          git add postgrest.cabal docs/conf.py > /dev/null
         }
 
         today_date_for_changelog="$(date '+%Y-%m-%d')"