#!/bin/sh
cedilla README README.ps
cedilla INSTALL INSTALL.ps
chmod +x clean compile-cedilla predist

