diff options
| author | Mattias Andrée <maandree@kth.se> | 2017-11-23 21:50:57 +0100 |
|---|---|---|
| committer | Mattias Andrée <maandree@kth.se> | 2017-11-23 21:50:57 +0100 |
| commit | 5f15becca30a1ab7557851230a7e31d00aab9d8e (patch) | |
| tree | 57d8f1fbae0e95a55763b21a6697b0017619da76 /cedilla | |
| parent | Update sha3sum (diff) | |
| download | aur-packages-5f15becca30a1ab7557851230a7e31d00aab9d8e.tar.gz aur-packages-5f15becca30a1ab7557851230a7e31d00aab9d8e.tar.bz2 aur-packages-5f15becca30a1ab7557851230a7e31d00aab9d8e.tar.xz | |
Disown some packages
Signed-off-by: Mattias Andrée <maandree@kth.se>
Diffstat (limited to 'cedilla')
| -rw-r--r-- | cedilla/.gitignore | 1 | ||||
| -rw-r--r-- | cedilla/PKGBUILD | 32 | ||||
| l--------- | cedilla/upload | 1 | ||||
| -rwxr-xr-x | cedilla/watch | 20 |
4 files changed, 0 insertions, 54 deletions
diff --git a/cedilla/.gitignore b/cedilla/.gitignore deleted file mode 100644 index 7f65160..0000000 --- a/cedilla/.gitignore +++ /dev/null @@ -1 +0,0 @@ -/NEWS.text diff --git a/cedilla/PKGBUILD b/cedilla/PKGBUILD deleted file mode 100644 index 4ebfdfe..0000000 --- a/cedilla/PKGBUILD +++ /dev/null @@ -1,32 +0,0 @@ -# Maintainer: Mattias Andrée <`base64 -d`(bWFhbmRyZWUK)@member.fsf.org> - -pkgname=cedilla -pkgver=0.7 -pkgrel=1 -pkgdesc="A simple text printer that uses Unicode internally" -arch=(any) -url="http://www.pps.jussieu.fr/~jch/software/cedilla/" -license=('GPL') -depends=(clisp texlive-core) -makedepends=() -source=(http://www.pps.jussieu.fr/~jch/software/files/$pkgname-$pkgver.tar.gz) -md5sums=('57d2a80d3fd8fdc72827ada5e6257be2') - -build() { - cd "$srcdir/$pkgname-$pkgver" - - ./compile-cedilla -} - -package() { - cd "$srcdir/$pkgname-$pkgver" - - # the install-cedilla script would not find the man path in fakeroot, so - # we need to create the dirs for it - source cedilla-config - mkdir -p $pkgdir/$MANDIR - - TARGET=$pkgdir ./install-cedilla - sed -i -e 's/texmf-tetex/texmf-dist/g' $pkgdir/etc/cedilla-config.lisp -} - diff --git a/cedilla/upload b/cedilla/upload deleted file mode 120000 index 1e7a8be..0000000 --- a/cedilla/upload +++ /dev/null @@ -1 +0,0 @@ -../upload
\ No newline at end of file diff --git a/cedilla/watch b/cedilla/watch deleted file mode 100755 index c2fa7f1..0000000 --- a/cedilla/watch +++ /dev/null @@ -1,20 +0,0 @@ -#!/bin/sh - -[ -f 'NEWS.text' ] && rm 'NEWS.text' -wget 'http://www.pps.univ-paris-diderot.fr/~jch/software/cedilla/NEWS.text' >/dev/null 2>/dev/null -if [ $? = 0 ]; then - [ -f unfetchable ] && rm unfetchable - md5sum < NEWS.text > new-sum - touch sum - if [ "$(cat sum)" = "$(cat new-sum)" ]; then - rm new-sum - else - mv new-sum sum - echo 'cedilla' - fi - rm NEWS.text -elif [ ! -f unfetchable ]; then - touch unfetchable - echo 'cedilla (unfetchable)' -fi - |