diff options
| -rw-r--r-- | extra/tint2/Pkgfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extra/tint2/Pkgfile b/extra/tint2/Pkgfile index e53019f8c..61269d6e1 100644 --- a/extra/tint2/Pkgfile +++ b/extra/tint2/Pkgfile @@ -18,3 +18,4 @@ make DESTDIR=$PKG install rm -r $PKG/usr/share/doc } + |