* nodist-headers: Remove mln/fun/binary.hh.
---
milena/ChangeLog | 6 ++++++
milena/nodist-headers | 1 -
2 files changed, 6 insertions(+), 1 deletions(-)
diff --git a/milena/ChangeLog b/milena/ChangeLog
index 9059ac9..f17e773 100644
--- a/milena/ChangeLog
+++ b/milena/ChangeLog
@@ -6,6 +6,12 @@
2009-06-25 Roland Levillain <roland(a)lrde.epita.fr>
+ Distribute mln/fun/binary.hh.
+
+ * nodist-headers: Remove mln/fun/binary.hh.
+
+2009-06-25 Roland Levillain <roland(a)lrde.epita.fr>
+
Fix Make rule `fake-doc'.
* doc/Makefile.am (fake-doc): Create-or-touch user/latex.
diff --git a/milena/nodist-headers b/milena/nodist-headers
index 985b49f..a168403 100644
--- a/milena/nodist-headers
+++ b/milena/nodist-headers
@@ -14,7 +14,6 @@ mln/extract/sat.hh
mln/fun/access/all.hh
mln/fun/access/mean.hh
mln/fun/accu_result.hh
-mln/fun/binary.hh
mln/fun/binary_param.hh
mln/fun/component/blue.hh
mln/fun/component/comp.hh
--
1.6.3.1