Create Esterel Debian Package
=============================

1) Download es_setup.tgz, ES521a_Linux.tgz, and esterel-debian-5.2.1a.tgz

2) Create a directory debian/esterel/estelel-5.2.1a (it is recommended to make
the hierarchy at least 2 levels deep).

3) Extract es_setup.tgz, ES521a_Linux.tgz, and esterel-debian-5.2.1a.tgz into that
directory (in that order).

4.1) apt-get install build-essential debhelper fakeroot

4.2) dpkg-buildpackage -rfakeroot -us -uc -B

5) sudo dpkg -i ../esterel_5.2.1a-1_i386.deb