From: Stephane Glondu <steph@glondu.net>
Date: Tue, 14 Jan 2020 12:54:14 +0000 (+0100)
Subject: Rename debian/TODO.Debian to debian/TODO
X-Git-Tag: archive/raspbian/4.08.1-7+rpi1^2~7
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=a593fb764b5a9669f1574f7c4d44ad551303e063;p=ocaml.git

Rename debian/TODO.Debian to debian/TODO
---

diff --git a/debian/TODO b/debian/TODO
new file mode 100644
index 00000000..a9017da5
--- /dev/null
+++ b/debian/TODO
@@ -0,0 +1,15 @@
+TODO list for ocaml 3.10.0 (and beyond ...)
+
+- lintian warnings
+
+  lintian /home/srv/debian/pkg-ocaml-maint/packages/ocaml/build-area/ocaml_3.10.0-3_i386.changes
+
+  W: ocaml-nox: script-not-executable ./usr/lib/ocaml/3.10.0/camlheader
+  W: ocaml-mode: binary-without-manpage usr/bin/ocamltags
+  E: ocaml-compiler-libs: copyright-should-refer-to-common-license-file-for-gpl
+  W: ocaml: binary-without-manpage usr/bin/labltk
+  W: ocaml: binary-without-manpage usr/bin/ocamlbrowser
+
+- old bugreports
+
+  * http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=255245 is (will be) fixed in 3.12
diff --git a/debian/TODO.Debian b/debian/TODO.Debian
deleted file mode 100644
index a9017da5..00000000
--- a/debian/TODO.Debian
+++ /dev/null
@@ -1,15 +0,0 @@
-TODO list for ocaml 3.10.0 (and beyond ...)
-
-- lintian warnings
-
-  lintian /home/srv/debian/pkg-ocaml-maint/packages/ocaml/build-area/ocaml_3.10.0-3_i386.changes
-
-  W: ocaml-nox: script-not-executable ./usr/lib/ocaml/3.10.0/camlheader
-  W: ocaml-mode: binary-without-manpage usr/bin/ocamltags
-  E: ocaml-compiler-libs: copyright-should-refer-to-common-license-file-for-gpl
-  W: ocaml: binary-without-manpage usr/bin/labltk
-  W: ocaml: binary-without-manpage usr/bin/ocamlbrowser
-
-- old bugreports
-
-  * http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=255245 is (will be) fixed in 3.12