Fix broken doc symlinks (Closes: #877267)
authorStephane Glondu <steph@glondu.net>
Thu, 11 Jul 2019 11:40:58 +0000 (13:40 +0200)
committerStephane Glondu <steph@glondu.net>
Thu, 11 Jul 2019 12:18:02 +0000 (14:18 +0200)
commite3feda556f747c85c81027081b65a797d5a93ce4
tree1556d6ae87fdc97e356731ed39de954c71957a13
parent05857a9716b22b332b90025339b44323586a4287
Fix broken doc symlinks (Closes: #877267)
debian/MANIFEST
debian/OCaml_for_Debian [new file with mode: 0644]
debian/README.Debian [deleted file]
debian/ocaml-base-nox.README.Debian [deleted file]
debian/ocaml-base-nox.docs
debian/rules