The following commit has been merged in the master branch:
commit 99ee4ebfc9c8ff1d4039a26f38a798981b85b059
Author: Sylvain Le Gall <>
Date:   Thu Apr 19 21:21:03 2012 +0000

    Update TODO

diff --git a/TODO.txt b/TODO.txt
index 7b7857c..8706b26 100644
--- a/TODO.txt
+++ b/TODO.txt
@@ -6,4 +6,8 @@
 * dh_install avec usr/share/doc qd même
 * pas d'install de *.ml*
 * rules, pas de usr/bin si pas d'exec
+* pointless to install pa_*.cma into non-dev package
+* package doc suggest package doc (e.g. liboasis-ocaml-doc suggests 
+* List not indented (pb in Markdown to Debian description)
+* in oasis generated doc-base for manual points to HTML doc

oasis2debian project

Pkg-ocaml-maint-commits mailing list

Reply via email to