diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2025-03-09 07:10:38 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2025-03-09 07:10:38 +0100 |
| commit | aa19f2b52bbae1a55c7bc30d13dd2157becf3336 (patch) | |
| tree | 71cdfbe90ca22e0b6e51f4f143365e3de0749a8d /tl-build.sh | |
| parent | a62136b2f9507043cf23dc2422da91428cf2ffe0 (diff) | |
| download | texlive-openbsd-aa19f2b52bbae1a55c7bc30d13dd2157becf3336.tar.gz | |
Diffstat (limited to 'tl-build.sh')
| -rwxr-xr-x | tl-build.sh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tl-build.sh b/tl-build.sh index 9b85e1b..8a4398f 100755 --- a/tl-build.sh +++ b/tl-build.sh | |||
| @@ -30,8 +30,8 @@ enable_xindy="" | |||
| 30 | echo "Include Context?" | 30 | echo "Include Context?" |
| 31 | read with_context?'[y/n] ' | 31 | read with_context?'[y/n] ' |
| 32 | if [[ ${with_context} == "y" ]]; then | 32 | if [[ ${with_context} == "y" ]]; then |
| 33 | echo " Ok. Do I have to retrieve the sources of Context from git work branch?" | 33 | echo " Ok. Do I have to retrieve the sources of Context from the git work branch?" |
| 34 | echo " (If not I will get the sources from TeX Live svn repository.)" | 34 | echo " (If not I will get the sources from the TeX Live svn repository.)" |
| 35 | read context_from_git?'[y/n] ' | 35 | read context_from_git?'[y/n] ' |
| 36 | fi | 36 | fi |
| 37 | 37 | ||