share/man/man8/debian-edu-restart-services.8
share/man/man8/debian-edu-test-install.8
share/man/man1/update-ini-file.1