Configuration of the production website

Whenever you work on our website or documentation, you may need to modify our ikiwiki configuration. You need to do so in 2 different places:

• The ikiwiki.setup configuration file that lives in our main Git repository is used for building:

  • the production website (built using GitLab CI)

  • the offline copy of the website that is included in every Tails release (built during the Tails build process)

• Weblate's staging website uses its own configuration file, which is managed by Puppet.

When you update ikiwiki.setup:

1. git clone https://gitlab.tails.boum.org/tails/puppet-code.git and apply the same changes to the ikiwiki configuration used by Weblate's staging website:

   • site/profile/templates/tails/website/ikiwiki.setup.epp
   • site/profile/files/tails/website/ikiwiki-libdir/IkiWiki/Plugin/sidebar2.pm

2. Submit these production website configuration changes to the sysadmins team, as a merge request.

Don't bother coordinating the merge of these 2 sets of changes. They can be merged in any order without causing major trouble. What matters is that these 2 configurations stay in sync'.