[r2005-05-10 07:50:11 by afrisch] Empty log message

Original author: afrisch
Date: 2005-05-10 07:50:11+00:00

Makefile.distrib

@@ -142,12 +142,11 @@ OBJECTS = \
  driver/config.cmo \
  misc/stats.cmo \
  misc/serialize.cmo misc/custom.cmo \
- misc/state.cmo misc/pool.cmo misc/encodings.cmo \
- misc/bool.cmo \
- misc/pretty.cmo misc/ns.cmo misc/inttbl.cmo misc/imap.cmo \
+ misc/state.cmo misc/pool.cmo misc/encodings.cmo misc/myweak.cmo \
+  misc/pretty.cmo misc/ns.cmo misc/inttbl.cmo misc/imap.cmo \
  misc/html.cmo \
  \
- types/sortedList.cmo types/boolean.cmo types/ident.cmo \
+ types/sortedList.cmo misc/bool.cmo types/boolean.cmo types/ident.cmo \
  types/intervals.cmo \
  types/chars.cmo types/atoms.cmo \
  types/normal.cmo \