diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2024-03-03 06:56:34 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2024-03-03 06:56:34 +0100 |
| commit | bfc47d6b4bb252a7a70446b08efc1c91c048e3d0 (patch) | |
| tree | ff59852c0f7de0285d290f94c2763e535720ac8d | |
| parent | dd479b57bc123c6bf28ca91e3a0f71c3c512a6dd (diff) | |
| download | texlive-openbsd-bfc47d6b4bb252a7a70446b08efc1c91c048e3d0.tar.gz | |
a missing ?
| -rwxr-xr-x | tl-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tl-build.sh b/tl-build.sh index fa0b1bc..6b9df5a 100755 --- a/tl-build.sh +++ b/tl-build.sh | |||
| @@ -15,7 +15,7 @@ echo "" | |||
| 15 | 15 | ||
| 16 | echo "Do I have to get the latest development sources? (You ought to" | 16 | echo "Do I have to get the latest development sources? (You ought to" |
| 17 | echo "have done so before launching this script.)" | 17 | echo "have done so before launching this script.)" |
| 18 | read get_dev_src'[y/n] ' | 18 | read get_dev_src?'[y/n] ' |
| 19 | if [[ ${get_dev_src} == "y" ]]; then | 19 | if [[ ${get_dev_src} == "y" ]]; then |
| 20 | ./checkout-tl.sh && echo "... Ok." | 20 | ./checkout-tl.sh && echo "... Ok." |
| 21 | fi | 21 | fi |