diff options
| author | davidovski <david@davidovski.xyz> | 2021-10-06 17:18:43 +0100 |
|---|---|---|
| committer | davidovski <david@davidovski.xyz> | 2021-10-06 17:18:43 +0100 |
| commit | c25b6890891c7ef34e129c8c54efdf2993234aa0 (patch) | |
| tree | efce372f0cfbcdb2e4285ef65191cbbf1e3146e1 /xibuilds/sed.xibuild | |
| parent | d4cb1386d79c95e7586e7bccad5b0f6c7861cfe8 (diff) | |
moved xibuilds to another repo
Diffstat (limited to 'xibuilds/sed.xibuild')
| -rw-r--r-- | xibuilds/sed.xibuild | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/xibuilds/sed.xibuild b/xibuilds/sed.xibuild deleted file mode 100644 index 087620e..0000000 --- a/xibuilds/sed.xibuild +++ /dev/null @@ -1,19 +0,0 @@ -#!/bin/bash - -DEPS=(glibc acl attr) - -SOURCE=https://www.gnu.org/software/sed/ -DESC="GNU stream editor" - -build () { - ./configure --prefix=/usr - make - make html - - make DESTDIR=$PKG_DEST install -} - -package () { - install -d -m755 $PKG_DEST/usr/share/doc/sed-4.8 - install -m644 doc/sed.html $PKG_DEST/usr/share/doc/sed-4.8 -} |