* 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@lrde.epita.fr> + Distribute mln/fun/binary.hh. + + * nodist-headers: Remove mln/fun/binary.hh. + +2009-06-25 Roland Levillain <roland@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