From a26dddd9cd413921a5ccb3e0a4580afc13d6e716 Mon Sep 17 00:00:00 2001
From: Mirko Myllykoski <mirkom@cs.umu.se>
Date: Wed, 15 Apr 2020 15:19:00 +0200
Subject: [PATCH] The latest manual should only be generated for the master
 branch

---
 .github/workflows/manual.yml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.github/workflows/manual.yml b/.github/workflows/manual.yml
index d5c81a6c..770c1f51 100644
--- a/.github/workflows/manual.yml
+++ b/.github/workflows/manual.yml
@@ -4,7 +4,6 @@ on:
   push:
     branches:
       - 'master'
-      - 'v*'
 
 jobs:
   deploy: