diff options
| author | Thomas Penteker <tek@serverop.de> | 2018-09-08 23:24:36 +0200 |
|---|---|---|
| committer | Thomas Penteker <tek@serverop.de> | 2018-09-08 23:24:36 +0200 |
| commit | 3e16c07d00c43babcd5414e6a0eb9bf14cfb4d26 (patch) | |
| tree | 50dba29a45aff787132cc72f7173b52aa3b1cc2a /htmldoc/Pkgfile | |
| parent | 93aff09a2bc9eb202cc662b6b2a7910777deaae0 (diff) | |
| download | contrib-3e16c07d00c43babcd5414e6a0eb9bf14cfb4d26.tar.gz contrib-3e16c07d00c43babcd5414e6a0eb9bf14cfb4d26.tar.xz | |
htmldoc: 1.8.30 -> 1.9.4
Diffstat (limited to 'htmldoc/Pkgfile')
| -rw-r--r-- | htmldoc/Pkgfile | 9 |
1 files changed, 3 insertions, 6 deletions
diff --git a/htmldoc/Pkgfile b/htmldoc/Pkgfile index 821ab24c8..ce31fd9ed 100644 --- a/htmldoc/Pkgfile +++ b/htmldoc/Pkgfile @@ -5,18 +5,15 @@ # Depends on: name=htmldoc -version=1.8.30 +version=1.9.4 release=1 -source=(https://github.com/michaelrsweet/htmldoc/releases/download/v1.8.30/${name}-${version}-source.tar.gz - fix_random.diff) +source=(https://github.com/michaelrsweet/htmldoc/releases/download/v${version}/${name}-${version}-source.tar.gz) build() { - patch -i $SRC/fix_random.diff -p1 - ./configure --prefix=/usr --disable-gnutls make - make prefix=$PKG/usr \ + make prefix=$PKG/usr \ datadir=$PKG/usr/share \ bindir=$PKG/usr/bin \ mandir=$PKG/usr/man install |