Remove dist targets in Makefile (replaced by OASIS-dist)
Remove dist targets in Makefile (replaced by OASIS-dist)

Ignore-this: 3c67593108c8fe29bd914f42432cf0be

darcs-hash:20100804103358-4d692-2c56406b2f92f11105564d212fad2684bb5c822c

avsm/oasis-db-mirror,avsm/oasis-db-mirror,avsm/oasis-db-mirror,avsm/oasis-db-mirror,ocaml/oasis-db,ocaml/oasis-db,ocaml/oasis-db