From 2333597bfef58e3aaf6d07e4f56d8ceb89690d41 Mon Sep 17 00:00:00 2001 From: jmz Date: Thu, 1 Jun 2000 13:34:41 +0000 Subject: Remove extra directory at deinstall time. --- print/makeindex/pkg-plist | 1 + 1 file changed, 1 insertion(+) diff --git a/print/makeindex/pkg-plist b/print/makeindex/pkg-plist index 616976212889..72db3a965674 100644 --- a/print/makeindex/pkg-plist +++ b/print/makeindex/pkg-plist @@ -16,3 +16,4 @@ share/texmf/makeindx/german/wb.ist @dirrm share/texmf/makeindx/english @dirrm share/texmf/makeindx/german @dirrm share/texmf/makeindx +@unexec rmdir %D/share/texmf 2>/dev/null || true -- cgit