From 6c80947cc11249fe7f625a335a16de0c3b569b79 Mon Sep 17 00:00:00 2001 From: Stefan Blumentrath Date: Thu, 8 Aug 2024 12:17:22 +0200 Subject: [PATCH] Update gh_pages.yml Bump GRASS version to 8.4 --- .github/workflows/gh_pages.yml | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/.github/workflows/gh_pages.yml b/.github/workflows/gh_pages.yml index 0b6d6931..e8db81fc 100644 --- a/.github/workflows/gh_pages.yml +++ b/.github/workflows/gh_pages.yml @@ -20,10 +20,10 @@ jobs: sudo apt-get install -y -qq grass grass-dev grass-doc wget - name: Fix GRASS GIS installation for g.extension (needed for Ubuntu 18.04 grass packages) run: | - wget https://grass.osgeo.org/grass83/manuals/grass_logo.png - wget https://grass.osgeo.org/grass83/manuals/grassdocs.css - sudo mv grass_logo.png /usr/lib/grass83/docs/html/grass_logo.png - sudo mv grassdocs.css /usr/lib/grass83/docs/html/grassdocs.css + wget https://grass.osgeo.org/grass84/manuals/grass_logo.png + wget https://grass.osgeo.org/grass84/manuals/grassdocs.css + sudo mv grass_logo.png /usr/lib/grass84/docs/html/grass_logo.png + sudo mv grassdocs.css /usr/lib/grass84/docs/html/grassdocs.css - name: Install the modules to directory called build run: | find ./src/ -maxdepth 2 -mindepth 2 -type d \