Dzahn has submitted this change and it was merged.
Change subject: mediawiki: add texlive-generic-extra
......................................................................
mediawiki: add texlive-generic-extra
On Ubuntu Trusty, a tex with Greek characters such as:
\usepackage{teubner}
\Digama
Dies out with:
LaTeX Error: File `iftex.sty' not found.
That is a change between Precise and Trusty. Since we have migrated the
Jenkins jobs from Precise to Trusty, the Math extensions test have been
failling.
It has hit OCG previously:
https://gerrit.wikimedia.org/r/#/c/107585/
Add texlive-generic-extra on all hosts which provide iftex.sty.
Bug: T126422
Change-Id: I13e7b321b98c0213d6113237ea4ef5cf1d912878
---
M modules/mediawiki/manifests/packages/tex.pp
1 file changed, 1 insertion(+), 0 deletions(-)
Approvals:
Paladox: Looks good to me, but someone else must approve
Hashar: Looks good to me, but someone else must approve
Physikerwelt: Looks good to me, but someone else must approve
jenkins-bot: Verified
Dzahn: Looks good to me, approved
diff --git a/modules/mediawiki/manifests/packages/tex.pp
b/modules/mediawiki/manifests/packages/tex.pp
index 9604159..e7aa890 100644
--- a/modules/mediawiki/manifests/packages/tex.pp
+++ b/modules/mediawiki/manifests/packages/tex.pp
@@ -8,6 +8,7 @@
'texlive-bibtex-extra',
'texlive-font-utils',
'texlive-fonts-extra',
+ 'texlive-generic-extra',
'texlive-lang-all',
'texlive-latex-extra',
'texlive-math-extra',
--
To view, visit https://gerrit.wikimedia.org/r/270322
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: merged
Gerrit-Change-Id: I13e7b321b98c0213d6113237ea4ef5cf1d912878
Gerrit-PatchSet: 2
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Hashar <[email protected]>
Gerrit-Reviewer: Alex Monk <[email protected]>
Gerrit-Reviewer: Dzahn <[email protected]>
Gerrit-Reviewer: Hashar <[email protected]>
Gerrit-Reviewer: Paladox <[email protected]>
Gerrit-Reviewer: Physikerwelt <[email protected]>
Gerrit-Reviewer: jenkins-bot <>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
