#!/bin/sh

set -e

if [ "$1" = "purge" ]; then
	echo "Removing index /var/lib/apt-xapian-index..."
	rm -r /var/lib/apt-xapian-index
fi

#DEBHELPER#
