From dd479b57bc123c6bf28ca91e3a0f71c3c512a6dd Mon Sep 17 00:00:00 2001
From: Robert Alessi <alessi@robertalessi.net>
Date: Sun, 3 Mar 2024 06:53:16 +0100
Subject: some embellishments in tl-build.sh

---
 tl-build.sh | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

(limited to 'tl-build.sh')

diff --git a/tl-build.sh b/tl-build.sh
index caa9e14..fa0b1bc 100755
--- a/tl-build.sh
+++ b/tl-build.sh
@@ -5,6 +5,21 @@
 this_dir=`pwd`
 tl_sourcedir=`pwd`/source
 
+echo ""
+echo "            TeX Live for OpenBSD built script                "
+echo ""
+echo "You are about to build TeX Live from the development sources."
+echo "Please specify whether you also want to include xindy, context"
+echo "and asymptote in the process."
+echo ""
+
+echo "Do I have to get the latest development sources?  (You ought to"
+echo "have done so before launching this script.)"
+read get_dev_src'[y/n] '
+if [[ ${get_dev_src} == "y" ]]; then
+    ./checkout-tl.sh && echo "... Ok."
+fi
+
 echo "Include clisp and xindy?"
 read with_clisp?'[y/n] '
 enable_xindy=""
-- 
cgit v1.2.3