#!/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