RSSI PUB Carmen Differences: there were changes made to the Carmen Makefiles that make the spring2006/pub/carmen tree differ from spring2006/priv/carmen.

The goal is to make a platform independent distribution of Carmen with the compiled binaries included in the checkout.

There is now a dependency on the environment variable $PLATFORM which is set in the RSS-I-tools profile.

--- Changes from priv/carmen ---:
carmen/src:
  Makefile: 
	CHANGED L163: 	$(SILENT) $(RM) $(BIN_DIR)/*

  Makefile.conf:
	CHANGED L67-73:
	       ### CHANGED BY SAM 3/06 ###
	       #BIN_DIR = $(CARMEN_HOME)/bin
	       BIN_BASE_DIR = $(CARMEN_HOME)/bin
	       BIN_DIR = $(CARMEN_HOME)/bin/$(PLATFORM)
	       RSS_HOME = $(CARMEN_HOME)/../
	       RSS_BIN_DIR = $(RSS_HOME)/bin/$(PLATFORM)
	       ###########################

  Makefile.rules:
	CHANGED L43:
		$(CP) $$dir/$$i $(BIN_DIR)/$$i ; \