From dc66ad042f242b13b7e9eaefd5efd81b55673d82 Mon Sep 17 00:00:00 2001
From: Rafael Sene <rafael@riscv.org>
Date: Wed, 23 Aug 2023 18:53:35 -0300
Subject: [PATCH] Add the option to set the release tag

---
 .github/workflows/vector_build-pdf.yml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/vector_build-pdf.yml b/.github/workflows/vector_build-pdf.yml
index 244782e1..acf16e4d 100644
--- a/.github/workflows/vector_build-pdf.yml
+++ b/.github/workflows/vector_build-pdf.yml
@@ -4,6 +4,10 @@ name: Create Specification Document
 on:
   workflow_dispatch:
     inputs:
+      version:
+        description: 'Release version, e.g. X.Y.Z:'
+        required: true
+        type: string
       prerelease:
         description: 'Tag as a pre-release?'
         required: false
@@ -18,7 +22,6 @@ on:
   push:
     branches:
       - main
-      - master
 
 jobs:
   build: