diff options
Diffstat (limited to 'modules/mediawiki/manifests/base.pp')
| -rw-r--r-- | modules/mediawiki/manifests/base.pp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/modules/mediawiki/manifests/base.pp b/modules/mediawiki/manifests/base.pp index 2685d2b3..3e4d32b0 100644 --- a/modules/mediawiki/manifests/base.pp +++ b/modules/mediawiki/manifests/base.pp @@ -9,6 +9,14 @@ class mediawiki::base { ensure => directory, } + file { $mediawiki::config::root/robots.txt: + ensure => present, + mode => '0644', + owner => root, + group => root, + source => 'puppet:///modules/mediawiki/robots.txt', + } + # file { '/usr/local/bin/init_wiki.php': # mode => '0755', # source => 'puppet:///modules/mediawiki/init_wiki.php', |