diff options
Diffstat (limited to 'reproduce/config/pipeline/texlive.conf')
| -rw-r--r-- | reproduce/config/pipeline/texlive.conf | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/reproduce/config/pipeline/texlive.conf b/reproduce/config/pipeline/texlive.conf index 3aa5db5..1f515c1 100644 --- a/reproduce/config/pipeline/texlive.conf +++ b/reproduce/config/pipeline/texlive.conf @@ -2,6 +2,11 @@ # # installdir: Install directory # topdir: Top pipeline directory +# +# Copying and distribution of this file, with or without modification, are +# permitted in any medium without royalty provided the copyright notice and +# this notice are preserved. This file is offered as-is, without any +# warranty. selected_scheme scheme-basic TEXDIR @installdir@/texlive/2018 TEXMFCONFIG @topdir@/.texlive2018/texmf-config |