diff options
author | Alexis Ballier <aballier@gentoo.org> | 2017-01-21 13:44:24 +0100 |
---|---|---|
committer | Mikle Kolyada <zlogene@gentoo.org> | 2019-06-09 17:54:33 +0300 |
commit | 8bc6007f15b7594e500f17c68a6bb64097168fbc (patch) | |
tree | b4bdb761c41264e706c291d507348425c22dd07e | |
parent | tl-latexextra: use tabs (diff) | |
download | tex-8bc6007f15b7594e500f17c68a6bb64097168fbc.tar.gz tex-8bc6007f15b7594e500f17c68a6bb64097168fbc.tar.bz2 tex-8bc6007f15b7594e500f17c68a6bb64097168fbc.zip |
support extrametadata for local useflags and add tl-basic one
-rw-r--r-- | scripts/texlive/tlpsrc/Makefile | 1 | ||||
-rw-r--r-- | scripts/texlive/tlpsrc/texlive-basic-extrametadata | 3 |
2 files changed, 4 insertions, 0 deletions
diff --git a/scripts/texlive/tlpsrc/Makefile b/scripts/texlive/tlpsrc/Makefile index 42536e9..e2b7041 100644 --- a/scripts/texlive/tlpsrc/Makefile +++ b/scripts/texlive/tlpsrc/Makefile @@ -54,6 +54,7 @@ unpacked : $(FULLDESC:%=%.unpacked) echo '<longdescription lang="en">' >> $@ grep "longdesc " $< | sed -e "s/longdesc //" >> $@ echo '</longdescription>' >> $@ + -cat $(@:%.metadata=%-extrametadata) >> $@ echo '</pkgmetadata>' >> $@ %.deps: %.base diff --git a/scripts/texlive/tlpsrc/texlive-basic-extrametadata b/scripts/texlive/tlpsrc/texlive-basic-extrametadata new file mode 100644 index 0000000..b513ee5 --- /dev/null +++ b/scripts/texlive/tlpsrc/texlive-basic-extrametadata @@ -0,0 +1,3 @@ + <use> + <flag name="luajittex">Add support for LuaJitTeX: LuaTeX based on LuaJIT which is usually faster.</flag> + </use> |