Tim Starling has submitted this change and it was merged. Change subject: Ensure package 'doxygen' on contint. ......................................................................
Ensure package 'doxygen' on contint. Same package as in svn.pp. We're moving from svn.wikimedia.org generated by cron on the svn server to doc.wikimedia.org generated by a jenkins job postmerge of mediawiki-core. Change-Id: Ie7fffca8b685cee49bf39e46a12486bbe1bd977c --- M modules/contint/manifests/packages.pp 1 file changed, 2 insertions(+), 0 deletions(-) Approvals: Tim Starling: Verified; Looks good to me, approved diff --git a/modules/contint/manifests/packages.pp b/modules/contint/manifests/packages.pp index c91a7d6..3b95139 100644 --- a/modules/contint/manifests/packages.pp +++ b/modules/contint/manifests/packages.pp @@ -62,6 +62,8 @@ 'liblua5.1-0-dev', 'g++', 'libthai-dev', + + 'doxygen', ]: ensure => present, } -- To view, visit https://gerrit.wikimedia.org/r/53938 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: Ie7fffca8b685cee49bf39e46a12486bbe1bd977c Gerrit-PatchSet: 2 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Krinkle <ttij...@wikimedia.org> Gerrit-Reviewer: Hashar <has...@free.fr> Gerrit-Reviewer: Tim Starling <tstarl...@wikimedia.org> Gerrit-Reviewer: jenkins-bot _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits