diff options
| author | A. Wilcox <awilcox@wilcox-tech.com> | 2020-06-15 21:01:43 +0000 |
|---|---|---|
| committer | A. Wilcox <awilcox@wilcox-tech.com> | 2020-06-15 21:01:43 +0000 |
| commit | 00232199464eaa13cd475988b17886a7635e8758 (patch) | |
| tree | 07022c77daeabfcd5cb9756075265db3e2f204c5 /system/mandoc/mandoc.post-deinstall | |
| parent | 5e30a49b7a4cd903d446302f3a7f4ac685b53f2d (diff) | |
| parent | abe028b0d7927e92ab1dda0920a70955ef839be4 (diff) | |
| download | packages-00232199464eaa13cd475988b17886a7635e8758.tar.gz packages-00232199464eaa13cd475988b17886a7635e8758.tar.bz2 packages-00232199464eaa13cd475988b17886a7635e8758.tar.xz packages-00232199464eaa13cd475988b17886a7635e8758.zip | |
Merge branch 'new/mandoc' into 'master'
Switch from man-db to mandoc
See merge request adelie/packages!458
Diffstat (limited to 'system/mandoc/mandoc.post-deinstall')
| -rw-r--r-- | system/mandoc/mandoc.post-deinstall | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/system/mandoc/mandoc.post-deinstall b/system/mandoc/mandoc.post-deinstall new file mode 100644 index 000000000..0a8d5b9df --- /dev/null +++ b/system/mandoc/mandoc.post-deinstall @@ -0,0 +1,3 @@ +#!/bin/sh + +exec rm -f /usr/share/man/mandoc.db 2>/dev/null |