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
