some embellishments in tl-build.sh

1 files changed, 15 insertions, 0 deletions

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=""