diff options
author | Stephane Glondu <steph@glondu.net> | 2010-11-04 16:49:20 +0100 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2010-11-08 09:29:58 +0100 |
commit | afcc95d869466f26d8b2962ce3dee3aa37eda1e4 (patch) | |
tree | 45f9c4b78afc2980a88f2564da834e86925db49a /debian | |
parent | 859c19fe50e34ccec292c57ae5d636bd661b2a9c (diff) |
Document executable renaming in README.Debian
Diffstat (limited to 'debian')
-rw-r--r-- | debian/README.Debian | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/debian/README.Debian b/debian/README.Debian new file mode 100644 index 0000000..767d4b0 --- /dev/null +++ b/debian/README.Debian @@ -0,0 +1,10 @@ +melt for Debian +--------------- + + * The "melt" executable has been renamed to "meltbuild", because of + collision with /usr/bin/melt provided by the melt package. See [1] + for discussion about this name. + + [1] https://lists.forge.ocamlcore.org/pipermail/melt-general/2010-August/000047.html + + -- Stéphane Glondu <glondu@debian.org>, Mon, 8 Nov 2010 09:29:55 +0100 |