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
-