#!/bin/sh
set -e
# Automatically added by dh_systemd_start/12.9ubuntu1
if [ -d /run/systemd/system ]; then
	deb-systemd-invoke stop 'man-db.service' 'man-db.timer' >/dev/null || true
fi
# End automatically added section