diff options
-rwxr-xr-x | base/sed/Pkgfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/base/sed/Pkgfile b/base/sed/Pkgfile index 4de04cab5..7a5f27810 100755 --- a/base/sed/Pkgfile +++ b/base/sed/Pkgfile @@ -14,6 +14,7 @@ cd $name-$version --bindir=/bin \ --htmldir=/usr/share/doc/sed-$version make + make html make DESTDIR=$PKG install rm -r $PKG/usr/share/info/dir } |