diff options
| author | Edwin Groothuis <edwin@FreeBSD.org> | 2006-01-22 02:30:01 +0000 |
|---|---|---|
| committer | Edwin Groothuis <edwin@FreeBSD.org> | 2006-01-22 02:30:01 +0000 |
| commit | a437d08ecacfe1693a6e9f6ee1906a6f425ca700 (patch) | |
| tree | 547a63eef9c79ff429d082d13015036a6cfa4c85 /math/coq | |
| parent | 0416031c9ba13da33845bc762078065b482dd551 (diff) | |
| download | ports-a437d08ecacfe1693a6e9f6ee1906a6f425ca700.tar.gz ports-a437d08ecacfe1693a6e9f6ee1906a6f425ca700.zip | |
Notes
Diffstat (limited to 'math/coq')
| -rw-r--r-- | math/coq/pkg-plist | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/math/coq/pkg-plist b/math/coq/pkg-plist index e1ab20fc7242..1d50d11cdbd1 100644 --- a/math/coq/pkg-plist +++ b/math/coq/pkg-plist @@ -517,7 +517,7 @@ lib/coq/theories7/ZArith/zarith_aux.vo share/emacs/site-lisp/coq-inferior.el share/emacs/site-lisp/coq.el share/texmf/tex/latex/misc/coqdoc.sty -@unexec rmdir %D/share/texmf/tex/latex/misc 2>/dev/null || true -@unexec rmdir %D/share/texmf/tex/latex 2>/dev/null || true -@unexec rmdir %D/share/texmf/tex 2>/dev/null || true -@unexec rmdir %D/share/texmf 2>/dev/null || true +@dirrmtry share/texmf/tex/latex/misc +@dirrmtry share/texmf/tex/latex +@dirrmtry share/texmf/tex +@dirrmtry share/texmf |